TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security

Name: TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security
Duration: 15 min
Description: Talk from IEEE Symposium on Security and Privacy 2025.

Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan

IEEE Symposium on Security and Privacy 2025 · Day 3 · Private and Secure Communication