EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider (bibtex)
by Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud and Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy and Christoph M. Wintersteiger
Reference:
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider (Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud and Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy and Christoph M. Wintersteiger), In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020, IEEE, 2020.
Bibtex Entry:
@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 = {Sun, 25 Oct 2020 22:57:11 +0100},
  biburl    = {https://dblp.org/rec/conf/sp/ProtzenkoPFHPBB20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser