Théophile Wallez

According to our database, Théophile Wallez authored at least 3 papers between 2022 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

IACR Cryptol. ePrint Arch., 2025

2023

Comparse: Provably Secure Formats for Cryptographic Protocols.

Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan

IACR Cryptol. ePrint Arch., 2023

2022

TreeSync: Authenticated Group Management for Messaging Layer Security.

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

IACR Cryptol. ePrint Arch., 2022