Verifpal Verifies Signal Across Three Messages
Verifpal 0.31.2 ships a major overhaul to active attacker analysis, finally enabling full verification of Signal's three-message protocol.
From the blog.
Insights on cryptography, security research, and software engineering from Symbolic Software.
-
-
Drain Brain: Symbolic Software's Latest Puzzle Game!
A rigorous defense of publishing puzzle games from an applied cryptography consultancy, requiring no defense.
-
On the Promises of 'High-Assurance' Cryptography
A case study on Cryspen's libcrux exposing the gap between formal verification marketing and engineering reality.
-
Announcing Cedarcrypt: Applied Cryptography in the Mediterranean
We're thrilled to announce Cedarcrypt, a new applied cryptography summer school and conference.
-
Introducing Magicall: Encrypted video calls that actually work
We're launching Magicall, a privacy-first video calling platform built by cryptographers.
-
Kyber-K2SO 1.0: Now Implementing ML-KEM
Kyber-K2SO version 1.0 upgrades from Kyber v3 to ML-KEM, the NIST-standardized post-quantum key encapsulation mechanism.