BibTeX record conf/sp/ProtzenkoPFHPBB20

• > Home > conf/sp/ProtzenkoPFHPBB20

@inproceedings{DBLP:conf/sp/ProtzenkoPFHPBB20,
  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          = {https://doi.org/10.1109/SP40000.2020.00114},
  doi          = {10.1109/SP40000.2020.00114},
  timestamp    = {Thu, 21 Sep 2023 15:57:25 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/ProtzenkoPFHPBB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}