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

Cryspen welcomes Dr. Jonas Schneider-Bensch, a cryptography engineer specializing in privacy-preserving technologies and multi-party computation.

📢 Exciting News! 🚀 We are thrilled to welcome Dr. Jonas Schneider-Bensch, to the Cryspen family as our newest R&D Cryptography Engineer! 🎓 Jonas brings a wealth of knowledge and expertise, with a …

Cryspen @ RWC 2023

Cryspen’s Real World Crypto 2023 talk in Tokyo on the hacspec language, the hax tool, and the libcrux cryptographic library.

At Real World Crypto 2023 in Tokyo, we gave a talk on the hacspec language, the hax tool, and the libcrux crypto library. Designing and implementing cryptographic software is a perilous endeavor. …

HACL Packages v0.6

The first release of the HACL Packages, bundling the HACL C library and updated hacl-star OCaml bindings with new documentation.

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

Cryspen joins Phoenix R&D to improve OpenMLS, catching up to the latest MLS draft and preparing the library for wider adoption.

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?

What high assurance software and cryptography mean, and how formal methods offer stronger trust guarantees than certifications alone.

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 …

• ««
• «
• 2
• 3
• 4
• 5
• 6
• »
• »»