BibTeX record conf/sp/ProtzenkoPFHPBB20

download as .bib file

  author    = {Jonathan Protzenko and
               Bryan Parno and
               Aymeric Fromherz and
               Chris Hawblitzel and
               Marina Polubelova and
               Karthikeyan Bhargavan and
               Benjamin Beurdouche and
               Joonwon Choi and
               Antoine Delignat{-}Lavaud and
               C{\'{e}}dric Fournet and
               Natalia Kulatova and
               Tahina Ramananandro and
               Aseem Rastogi and
               Nikhil Swamy and
               Christoph M. Wintersteiger and
               Santiago Zanella B{\'{e}}guelin},
  title     = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
  booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
               CA, USA, May 18-21, 2020},
  pages     = {983--1002},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {},
  doi       = {10.1109/SP40000.2020.00114},
  timestamp = {Sun, 25 Oct 2020 22:57:11 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics