First session at #realworldcrypto is @twal.org talking about the machine-checked analysis of MLS.
Reposted from
ePrint Updates
TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security (Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan) ia.cr/2025/410
Comments
#realworldcrypto