EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats (bibtex)
by Tahina Ramananandro, Antoine Delignat-Lavaud and Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi and Jonathan Protzenko
Reference:
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats (Tahina Ramananandro, Antoine Delignat-Lavaud and Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi and Jonathan Protzenko), In 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019 (Nadia Heninger, Patrick Traynor, eds.), USENIX Association, 2019.
Bibtex Entry:
@inproceedings{RamananandroDFS19,
  author    = {Tahina Ramananandro and
               Antoine Delignat{-}Lavaud and
               C{\'{e}}dric Fournet and
               Nikhil Swamy and
               Tej Chajed and
               Nadim Kobeissi and
               Jonathan Protzenko},
  editor    = {Nadia Heninger and
               Patrick Traynor},
  title     = {EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message
               Formats},
  booktitle = {28th {USENIX} Security Symposium, {USENIX} Security 2019, Santa Clara,
               CA, USA, August 14-16, 2019},
  pages     = {1465--1482},
  publisher = {{USENIX} Association},
  year      = {2019},
  url       = {https://www.usenix.org/conference/usenixsecurity19/presentation/delignat-lavaud},
  timestamp = {Tue, 03 Sep 2019 16:39:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/RamananandroDFS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser