/images/hero.png

Formally Verify your Software

Cryspen builds formal verification tools that can help you gain and maintain confidence in your most critical systems, by establishing security and correctness theorems from your high-level designs to your deployed implementations.

Get in touch

Projects

HAX

An open-source formal verification framework that verifies Rust code using multiple provers

Learn more

Spectrum

A specification-driven toolkit for developing high-assurance software from design to deployment

Learn more

From the blog

News, releases, and deep-dives from the Cryspen team.

/images/posts/celabs-social-card.png
Announcing CE Labs

CE Labs is a new Cryspen spin-off focused on Cryptographic Engineering.

Today, we are announcing the launch of CE Labs, a Cryspen spin-off dedicated to Cryptographic Engineering, under the leadership of Franziskus Kiefer. Learn more about CE Labs here. Going forward, …

/images/posts/eic-logo-2021.png
EIC Transition: Spectrum

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

We are excited to have been awarded a Transition Grant from the European Innovation Council to build a specification and verification toolkit that developers can use to build and deploy …

/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 …

View all posts