Biblio

Export 2 results:
Filters: Author is Jonathan Protzenko  [Clear All Filters]
2023
Wallez T, Protzenko J, Beurdouche B, Bhargavan K.  2023.  TreeSync: Authenticated Group Management for Messaging Layer Security. 32nd USENIX Security Symposium (USENIX Security 23). :1217--1233.
2019
Ramananandro T, Delignat-Lavaud A, Fournet C, Swamy N, Chajed T, Kobeissi N, Protzenko J.  2019.  EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. 28th USENIX Security Symposium (USENIX Security 19). :1465--1482.