by Protzenko, Jonathan, Parno, Bryan, Fromherz, Aymeric, Hawblitzel, Chris, Polubelova, Marina, Bhargavan, Karthikeyan, Beurdouche, Benjamin, Choi, Joonwon, Delignat-Lavaud, Antoine, Fournet, Cédric, Kulatova, Natalia, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil, Wintersteiger, Christoph M. and Zanella-Beguelin, Santiago
Reference:
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider (Protzenko, Jonathan, Parno, Bryan, Fromherz, Aymeric, Hawblitzel, Chris, Polubelova, Marina, Bhargavan, Karthikeyan, Beurdouche, Benjamin, Choi, Joonwon, Delignat-Lavaud, Antoine, Fournet, Cédric, Kulatova, Natalia, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil, Wintersteiger, Christoph M. and Zanella-Beguelin, Santiago), In 2020 IEEE Symposium on Security and Privacy (SP), 2020.
Bibtex Entry:
@INPROCEEDINGS{evercrypt,
author={Protzenko, Jonathan and Parno, Bryan and Fromherz, Aymeric and Hawblitzel, Chris and Polubelova, Marina and Bhargavan, Karthikeyan and Beurdouche, Benjamin and Choi, Joonwon and Delignat-Lavaud, Antoine and Fournet, Cédric and Kulatova, Natalia and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil and Wintersteiger, Christoph M. and Zanella-Beguelin, Santiago},
booktitle={2020 IEEE Symposium on Security and Privacy (SP)},
title={EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider},
year=2020,
pages={983-1002},
doi={10.1109/SP40000.2020.00114}}