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, Cedric, Kulatova, Natalia, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil, Wintersteiger, Christoph M., Zanella-Beguelin, Santiago
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Get full text
Conference Proceeding