Blog

• 01 Oct 2026 Hax 0.4!

  Announcing hax 0.4, a pivotal release

• 25 Jun 2026 EIC Transition: Spectrum

  Cryspen has won an EIC grant to build a new software verification product.

• 22 Apr 2026 Software Verification in Lean

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

• 28 Oct 2025 Formally Specifying and Testing the Rust Standard Library

  Cryspen found and fixed bugs in the Rust SIMD libraries using formal specs

• 02 Oct 2025 Helping Secure Signal's Post-Quantum Transition

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

Atom feed