Biblio

Export 1 results:
Filters: Author is Tahina Ramananandro  [Clear All Filters]
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.