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
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”.
RWPQC
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
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.
RustVerify
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
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.