Cryspen Welcomes Maxime

Maxime joins the Cryspen family.

We’re thrilled to announce that Maxime Buyse has joined the Cryspen team as a Formal Verification Engineer! 🎉 Maxime is a whiz when it comes to formal methods, software verification, compilers, …

High Assurance IoT PQC

Securing the Internet of Things in the age of Quantum Computers.

Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here. The libcrux-iot library …

Cryspen @ FMCP 2024

We gave a talk at the NIST workshop on Formal Methods within Certification Programs.

The US National Institute of Standards and Technology (NIST) publishes a number of important cryptographic standards (including upcoming ones for post-quantum cryptography), and runs the cryptographic …

Unlocking New Possibilities

Cryspen partners with SandboxAQ to accelerate hax adoption

We have been developing the hax toolchain over the last two years, in collaboration with research teams at Inria and the University of Aarhus. To showcase its capabilities we have successfully applied …

Post-Quantum TLS in Bertie

Annonuncing the arrival of post-quantum TLS handshakes in Bertie.

The prospect of quantum computers breaking most public key encryption in use today has created the need for new schemes that can resist classical and potential quantum attackers alike. Some of these …

Cryptographic protocol verification with hax

This blog post details an example of how to use our hax toolchain for verifying the security of cryptographic protocol implementations written in Rust.

Conference Talks

We have been travelling the world to talk about our recent work

Cryspen attended a number of conference in April and March. Here is a list of all slides and videos. We will update links when more resources become available.

Post-Quantum OpenMLS

Get started with post-quantum secure end-to-end encrypted with OpenMLS.

OpenMLS now offers security against harvest-now-decrypt-later (HNDL) quantum adversaries. In #1546 we merged support for the X-Wing KEM draft, which is an early draft for securely combining …

Post-Quantum Group Messaging

Get post-quantum security for end-to-end encrypted messaging with MLS.

With multiple post-quantum cryptographic algorithms (ML-KEM, ML-DSA) nearing standardization, enterprises, research groups, and standards bodies have started investigating what post-quantum secure …