Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
