%0 Conference Paper %1 conf/sp/ProtzenkoPFHPBB20 %A Protzenko, Jonathan %A Parno, Bryan %A Fromherz, Aymeric %A Hawblitzel, Chris %A Polubelova, Marina %A Bhargavan, Karthikeyan %A Beurdouche, Benjamin %A Choi, Joonwon %A Delignat-Lavaud, Antoine %A Fournet, Cédric %A Kulatova, Natalia %A Ramananandro, Tahina %A Rastogi, Aseem %A Swamy, Nikhil %A Wintersteiger, Christoph M. %A Béguelin, Santiago Zanella %B SP %D 2020 %I IEEE %K dblp %P 983-1002 %T EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. %U http://dblp.uni-trier.de/db/conf/sp/sp2020.html#ProtzenkoPFHPBB20

@inproceedings{conf/sp/ProtzenkoPFHPBB20, added-at = {2023-09-21T00:00:00.000+0200}, 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 Béguelin, Santiago Zanella}, biburl = {https://www.bibsonomy.org/bibtex/2151201df8a93aa889ca1a6010b183abe/dblp}, booktitle = {SP}, crossref = {conf/sp/2020}, ee = {https://doi.org/10.1109/SP40000.2020.00114}, interhash = {d3fa537fb0553fb3acb44411ac69128b}, intrahash = {151201df8a93aa889ca1a6010b183abe}, keywords = {dblp}, pages = {983-1002}, publisher = {IEEE}, timestamp = {2024-04-10T00:01:30.000+0200}, title = {EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2020.html#ProtzenkoPFHPBB20}, year = 2020 }