Home on Symbolic Software symbolic.software

Verifpal, Rewritten in Rust

symbolic.software·1d·

Discuss: Lobsters, Hacker News

Security Announcement: Bugs in Noise Explorer's Rust/WASM Code Generation

symbolic.software·2d

Even More Bugs in Cryspen's libcrux: ML-DSA

symbolic.software·1w

We Found Bugs in Cryspen's Verified Code

symbolic.software·1w

Verifpal Verifies Signal Across Three Messages

symbolic.software·2w

Drain Brain: Symbolic Software's Latest Puzzle Game!

symbolic.software·2w

On the Promises of 'High-Assurance' Cryptography

symbolic.software·2w·

Discuss: Lobsters, Hacker News

Announcing Cedarcrypt: Applied Cryptography in the Mediterranean

symbolic.software·3w

Introducing Magicall: Encrypted video calls that actually work

symbolic.software·7w

Kyber-K2SO 1.0: Now Implementing ML-KEM

symbolic.software·9w

2PC-MPC in Rust: Audit Report

symbolic.software·89w

Runes of Ardun: Symbolic Software's Latest Strategy Board Game

symbolic.software·106w

Security Announcement: Variable Timing Issue in Kyber Code

symbolic.software·114w

Supporting Real World Crypto 2024

symbolic.software·120w

Address to French Law Enforcement Officials

symbolic.software·125w

Native Labs: Audit Report

symbolic.software·130w

One Year of Verifpal

symbolic.software·285w

Better Queries for Verifpal

symbolic.software·306w

Modeling DP-3T With Verifpal

symbolic.software·307w