Conference Talks

Franziskus Kiefer
April 23, 2024

Cryspen attended a number of conference in April and March. Here is a list of all slides and videos.

We will update links when more resources become available.


RWC 2024 took place in Toronto, Canada 🇨🇦 on March 25–27, 2024. RWC 2024 was organized by the International Association for Cryptologic Research (IACR).

We presented together with Rolfe from Signal on “An Analysis of Signal’s PQXDH”.


The Real World PQC (RWPQC) Workshop took place on Sunday, March 24, 2024 in Toronto, Canada 🇨🇦, colocated with RWC 2024 and in cooperation with IACR.

We presented on our formally verified implementation of ML-KEM.


OSCW 2024 took place after Real World Crypto on 28 March 2024 at the University of Toronto Chestnut Conference Center in Toronto, Canada 🇨🇦.

We presented on how to implement cryptography with formal guarantees, using hax.


The Fourth Rust Verification Workshop took place on April 8-9 2024 in Luxembourg City, Luxembourg 🇱🇺.

We presented on our hax toolchain and how it enables High Assurance Cryptographic Software.


MatchPoints 2024 took place in Aarhus, Denmark 🇩🇰, on April 18-20 2024. At MatchPoints, leading cybersecurity researchers from across the world will come together for a three-day conference at Aarhus University to discuss the latest developments in the field.

We presented on formally verified cryptography, both protocol analysis and code verification.