USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
Submitted by arnold on May 24, 2019 - 12:07 pm
| Title | EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Ramananandro T, Delignat-Lavaud A, Fournet C, Swamy N, Chajed T, Kobeissi N, Protzenko J |
| Conference Name | 28th USENIX Security Symposium (USENIX Security 19) |
| Date Published | 08/2019 |
| Publisher | USENIX Association |
| Conference Location | Santa Clara, CA |
| ISBN Number | 978-1-939133-06-9 |
| URL | https://www.usenix.org/conference/usenixsecurity19/presentation/delignat-lavaud |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX