Internet Defense Prize 2023

Cryspen co-founders win Usenix Security prizes

At the 32nd Usenix Security Symposium in Anaheim CA, a paper on the Messaging Layer Security Protocol, co-authored by our founders Jonathan Protzenko and Karthikeyan Bhargavan, was awarded both the …

Prairie and Atlas

Privacy-Preserving Data Analysis at Cryspen

With the widespread adoption and deployment of machine learning across enterprises, ever-increasing amounts of data are being collected, stored, communicated, combined, and computed over by …

Three (thousand) may keep a secret

An introduction to Messaging Layer Security

“Three may keep a secret, if two of them are dead.” - Benjamin Franklin (1735) However skeptical we may be of our human ability to keep secrets, we still routinely participate in group conversations …

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 …