Thophile Wallez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | DY* Unchained: Now with Composable Security Proofs and Precise Compromise Scenarios. | Thophile Wallez |
| 2025 | SP | TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security. | Thophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan |
| 2023 | CCS | Comparse: Provably Secure Formats for Cryptographic Protocols. | Thophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan |