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 …

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.