Théophile Wallez

According to our database, Théophile Wallez authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan

Proceedings of the IEEE Symposium on Security and Privacy, 2025

2023

TreeSync: Authenticated Group Management for Messaging Layer Security.

Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, Karthikeyan Bhargavan

Proceedings of the 32nd USENIX Security Symposium, 2023

Comparse: Provably Secure Formats for Cryptographic Protocols.

Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023