@inproceedings {236232, author = {Tahina Ramananandro and Antoine Delignat-Lavaud and Cedric Fournet and Nikhil Swamy and Tej Chajed and Nadim Kobeissi and Jonathan Protzenko}, title = {{EverParse}: Verified Secure {Zero-Copy} Parsers for Authenticated Message Formats}, booktitle = {28th USENIX Security Symposium (USENIX Security 19)}, year = {2019}, isbn = {978-1-939133-06-9}, address = {Santa Clara, CA}, pages = {1465--1482}, url = {https://www.usenix.org/conference/usenixsecurity19/presentation/delignat-lavaud}, publisher = {USENIX Association}, month = aug }