Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin. EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 983-1002, IEEE, 2020. [doi]
@inproceedings{ProtzenkoPFHPBB20,
title = {EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider},
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édric Fournet and Natalia Kulatova and Tahina Ramananandro and Aseem Rastogi and Nikhil Swamy and Christoph M. Wintersteiger and Santiago Zanella Béguelin},
year = {2020},
doi = {10.1109/SP40000.2020.00114},
url = {https://doi.org/10.1109/SP40000.2020.00114},
researchr = {https://researchr.org/publication/ProtzenkoPFHPBB20},
cites = {0},
citedby = {0},
pages = {983-1002},
booktitle = {2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020},
publisher = {IEEE},
}