Formally Analyzing a Protocol Standard (RWC 2025)

"Formally analyzing a cryptographic protocol standard (or: how MLS kept this PhD student busy for three years)" is a talk given by Théophile Wallez at Real World Crypto (RWC) 2025. This was the first of four talks in the session on Secure Messaging, chaired by Douglas Stebila.

More information, including abstracts and additional authors, is available at https://rwc.iacr.org/2025/program.php

Видео Formally Analyzing a Protocol Standard (RWC 2025) канала IACR