images/posts/hacl-0_6.jpeg
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 bindings.
images/posts/openmls.jpeg
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.
images/posts/boxes.jpg
HACL Packages

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.
images/posts/high-assurance-cryptography-1.jpg
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.
images/posts/hpke_spec.png
An Executable HPKE Specification

HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption. 📚 Please go and read our TL;DR on HPKE if you nee more background on HPKE.
images/posts/tldr-hpke.jpg
TL;DR - Hybrid 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 Benjamin Lipp as part of his research at Inria.
images/posts/erc-cover.jpg
Cryspen ERC PoC Grant

Cryspen co-founder Karthik Bhargavan got awarded an ERC Proof of Concept grant for commercialising the know-how and landmark research results from his Inria research group PROSECCO through Cryspen.