Annonuncing the arrival of post-quantum TLS handshakes in Bertie.| cryspen.com
This blog post details an example of how to use our hax toolchain for verifying the security of cryptographic protocol implementations written in Rust.| cryspen.com
We traveled to Toronto this year to attend RWC 2024. The conference was held in TIFF Lightbox located in the city’s downtown; the venue is the headquarters for the Toronto Film Festival and contains five cinema rooms. RWC is a single-tracked conference and there’s no hard requirement that talks are backed by papers. Each RWC includes the Levchin prize ceremony for major achievements in applied cryptography, several invited talks and the lightning talks session.| Latacora
We have been travelling the world to talk about our recent work| cryspen.com
Get post-quantum security for end-to-end encrypted messaging with MLS.| cryspen.com
A living document on how to juggle these damned things. Updated March 19, 2025. What’s a KEM? A KEM is a Key Encapsulation Mechanism, a cryptographic...| durumcrustulum.com