MLS - RFC 9420

A new standard for secure messaging

✨ We are thrilled to announce the release of the MLS specification as RFC 9420. RFC 9420 is a comprehensive description of the first standardised, efficient, asynchronous, key establishment protocol …

Welcome Jonas

📢 Exciting News! 🚀 We are thrilled to welcome Dr. Jonas Schneider-Bensch, to the Cryspen family as our newest R&D Cryptography Engineer!

Cryspen @ RWC 2023

At Real World Crypto 2023 in Tokyo, we gave a talk on the hacspec language, the hax tool, and the libcrux crypto library.

HACL Packages v0.6

Today, we announce the first release of the HACL Packages libraries. 🎉 This release of HACL packages includes the first release of the HACL C library and a new release of the hacl-star OCaml …

OpenMLS

We have joined forces with our friends from Phoenix R&D to improve OpenMLS. The MLS protocol draft is in the IETF working group’s last call and is thus on track to become an RFC soon. We …

HACL Packages

A user-friendly high-assurance cryptographic library

Earlier this year, Tezos and Nomadic Labs started to work with Cryspen to improve HACL* and ensure that it is a viable long-term solution for Tezos' cryptographic needs. HACL is a set of high …

What is High Assurance Cryptography?

Cryspen builds high assurance cryptography. But what does this actually mean? Before focusing on cryptography it is interesting to look at high assurance software in general. How is high assurance …

An Executable HPKE Specification

HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption. 📚 Read our TL;DR on HPKE if you need more background on HPKE.

TL;DR - Hybrid Public Key Encryption

A new standard for public key encryption

HPKE, defined in RFC 9180, is a CFRG standard that describes a scheme for hybrid public key encryption. It is co-authored by my Cryspen co-founder Karthikeyan Bhargavan and one of his PhD students …