Théophile Wallez

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Information Security Management

Key Agreement Protocol

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan
Comparse: Provably Secure Formats for Cryptographic Protocols. IACR Cryptol. ePrint Arch. 2023 (2023)
Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan
Comparse: Provably Secure Formats for Cryptographic Protocols. CCS (2023)
Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, Karthikeyan Bhargavan
TreeSync: Authenticated Group Management for Messaging Layer Security. USENIX Security Symposium (2023)
Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, Karthikeyan Bhargavan
TreeSync: Authenticated Group Management for Messaging Layer Security. IACR Cryptol. ePrint Arch. 2022 (2022)