/images/blog-logo.png
  • Home
  • Services
  • Products
  • Blog
  • About
  • Contact
/images/mountain-team.jpeg
Cryspen Welcomes Clement

A Warm Welcome to Clement, Our Newest Cryspen Crew Member!

The team here at Cryspen is thrilled to welcome to our newest member, Clement! Clement joins us fresh from his impressive journey as a PhD student at Inria Paris, where he was part of the Cambium …

/images/posts/crossroads.jpeg
MLS Group State Forks: What, Why, How

What are state forks, why can’t they happen but do anyway and how can they be resolved in OpenMLS?

Group state forks are faulty states that MLS groups can end up in. This article looks at what they are exactly, how that happens and how to resolve them. We also look at a new OpenMLS feature that …

/images/posts/rwc2025.jpg
Cryspen @ RWC 2025

Real World Crypto 2025 buzzed with energy as the cutting edge of cryptography was presented to and discussed among an audience of leading researchers and developers from academia and industry. Today, …

/images/posts/formal analysis gemini image.jpeg
Control flow analysis with hax

A difficulty of formal verification is that specifying programs can be hard. Certain kinds of programs can end up having a specification that is as complex as the code itself. In this case it is …

/images/team.png
Cryspen Welcomes Clara

A Warm Welcome to Clara, Our Newest Cryspen Crew Member!

We’re thrilled to officially welcome Clara to the Cryspen team! Clara brings a fantastic blend of experiences and a passion for open-source that aligns perfectly with our mission. Let’s …

/images/posts/pexels-brett-sayles-2881233.jpg
X25519MLKEM768 TLS-Handshake in Bertie

Annonuncing availability of post-quantum TLS handshakes in the Bertie server component.

Summer is over for some months on the northern hemisphere, and so is the draft phase of NISTs post-quantum cryptographic standards. Since August 13, 2024, FIPS has standardized Kyber as ML-KEM in FIPS …

/images/posts/KarthikVstte.jpeg
Cryspen @ VSTTE 2024

Karthik gave an invited talk on High Assurance Post-Quantum Cryptography at VSTTE 2024.

Verified Software: Theories, Tools, and Experiments is a conference that aims to advance the state of the art in software verification.

/images/posts/crypto-talk.jpeg
Cryspen @ Crypto 2024

Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.

Crypto is the top international conference on cryptography and is held every year (since 1981) in Santa Barbara, California. This year, Crypto invited Karthikeyan Bhargavan, our Chief Research …

/images/posts/fospqc.png
Formally Verified Post-Quantum Cryptography

Cryspen provides high assurance, high performance open source implementations of post-quantum cryptography.

The US National Institute of Standards and Technology (NIST) just released the first three standards for Post-Quantum KEMs (ML-KEM) and Signatures (ML-DSA, SLH-DSA). This first official publication of …

  • ««
  • «
  • 1
  • 2
  • 3
  • 4
  • 5
  • »
  • »»

Cryspen

High Assurance Software

About us
  • How we work
  • About
  • Jobs
  • Imprint
Location
  • 149 Avenue du Maine, 75014 Paris, France

  • Weserstr. 44, 10247 Berlin, Germany

Contact us

info@cryspen.com

© 2021 - 2024 Cryspen - All Rights Reserved.