EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats

TitleEverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
Publication TypeConference Paper
Year of Publication2019
AuthorsRamananandro T, Delignat-Lavaud A, Fournet C, Swamy N, Chajed T, Kobeissi N, Protzenko J
Conference Name28th {USENIX} Security Symposium ({USENIX} Security 19)
Date Published08/2019
Publisher{USENIX} Association
Conference LocationSanta Clara, CA
ISBN Number978-1-939133-06-9
URLhttps://www.usenix.org/conference/usenixsecurity19/presentation/delignat-lavaud