Signal

/images/Lean-banner.png
Software Verification in Lean

Cryspen is co-hosting a workshop on advancing software verification using the Lean proof assistant.

This week in Paris, Cryspen is delighted to be co-hosting Software Verification in Lean 2026, a workshop and associated hackathon organized by the Beneficial AI Foundation and the Lean FRO. SVIL 2026 …

/images/posts/sealed-envelope.jpg
Helping Secure Signal's Post-Quantum Transition

Cryspen worked with Signal to formally analyze their new post-quantum ratchet

Signal just announced the deployment of their new post-quantum ratcheting protocol, called the Sparse Post-Quantum Ratchet (SPQR), and Cryspen is proud to have contributed to the formal analysis of …