Selection of Presentations

2022 - ENISA Article 19 group
“QWACs, Root CAs and the security of the ecosystem” (with Tanja Lange) [slides]

2019 - BlackHat USA
“Messaging Layer Security: a new era of secure group messaging” [link] [slides] [video]

2019 - IACR Real World Crypto
“Verified Vectorized Cryptography (with less manual effort)” [slides]

2019 - IACR Real World Crypto
“Messaging Layer Security: the beginning” [slides]

2018 - IACR Real World Crypto
“HACL* in Mozilla Firefox: Formal methods and High Assurance Applications for the Web” [slides] [video]