Formally Analyzing a Cryptographic Protocol Standard - How MLS Kept a PhD Student Busy for Three Years

This talk at Real World Crypto (RWC) 2025 features Théophile Wallez presenting "Formally analyzing a cryptographic protocol standard (or: how MLS kept this PhD student busy for three years)" as part of the Secure Messaging session chaired by Douglas Stebila. Discover how the speaker spent three years of PhD research formally analyzing the Messaging Layer Security (MLS) protocol standard. The 20-minute presentation was the first of four talks in the session on secure messaging. For more details, including abstracts and additional authors, visit the RWC 2025 program page at the IACR website.