Code
Open-source cryptography and security infrastructure we build and maintain — high-performance, production-ready implementations, formally verified where correctness matters most.
A high-assurance Rust implementation of HPKE (Hybrid Public Key Encryption, RFC 9180), built on libcrux's verified cryptographic primitives.
A high-assurance cryptographic library: formally verified, high-performance implementations of post-quantum and classical primitives.
Post-quantum cryptography for resource-constrained and embedded devices — ML-KEM, ML-DSA, and SHA-3 optimized for IoT.
A Rust implementation of the Messaging Layer Security (MLS) protocol for secure group messaging.
Check whether your servers and connections are ready for post-quantum cryptography — a hosted readiness tester from CE Labs.