TreeSync: Authenticated Group Management for Messaging Layer Security. - Théophile Wallez; Jonathan Protzenko; Benjamin Beurdouche; Karthikeyan Bhargavan (IACR Cryptol. ePrint Arch., 2022)

Comparse: Provably Secure Formats for Cryptographic Protocols. - Théophile Wallez; Jonathan Protzenko; Karthikeyan Bhargavan (IACR Cryptol. ePrint Arch., 2023)

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)