%0 Conference Paper %1 conf/snapl/BhargavanBDFHHI17 %A Bhargavan, Karthikeyan %A Bond, Barry %A Delignat-Lavaud, Antoine %A Fournet, Cédric %A Hawblitzel, Chris %A Hritcu, Catalin %A Ishtiaq, Samin %A Kohlweiss, Markulf %A Leino, Rustan %A Lorch, Jay R. %A Maillard, Kenji %A Pan, Jianyang %A Parno, Bryan %A Protzenko, Jonathan %A Ramananandro, Tahina %A Rane, Ashay %A Rastogi, Aseem %A Swamy, Nikhil %A Thompson, Laure %A Wang, Peng %A Béguelin, Santiago Zanella %A Zinzindohoue, Jean Karim %B SNAPL %D 2017 %E Lerner, Benjamin S. %E Bodík, Rastislav %E Krishnamurthi, Shriram %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 1:1-1:12 %T Everest: Towards a Verified, Drop-in Replacement of HTTPS. %U http://dblp.uni-trier.de/db/conf/snapl/snapl2017.html#BhargavanBDFHHI17 %V 71 %@ 978-3-95977-032-3

@inproceedings{conf/snapl/BhargavanBDFHHI17, added-at = {2023-12-12T20:43:44.000+0100}, author = {Bhargavan, Karthikeyan and Bond, Barry and Delignat-Lavaud, Antoine and Fournet, Cédric and Hawblitzel, Chris and Hritcu, Catalin and Ishtiaq, Samin and Kohlweiss, Markulf and Leino, Rustan and Lorch, Jay R. and Maillard, Kenji and Pan, Jianyang and Parno, Bryan and Protzenko, Jonathan and Ramananandro, Tahina and Rane, Ashay and Rastogi, Aseem and Swamy, Nikhil and Thompson, Laure and Wang, Peng and Béguelin, Santiago Zanella and Zinzindohoue, Jean Karim}, biburl = {https://www.bibsonomy.org/bibtex/2837b017997d5de74bb7cf88817769be6/admin}, booktitle = {SNAPL}, crossref = {conf/snapl/2017}, editor = {Lerner, Benjamin S. and Bodík, Rastislav and Krishnamurthi, Shriram}, ee = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.1}, interhash = {3379e2ba7c2ba4d018a89fcb0895c71d}, intrahash = {837b017997d5de74bb7cf88817769be6}, isbn = {978-3-95977-032-3}, keywords = {}, pages = {1:1-1:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-12T20:43:44.000+0100}, title = {Everest: Towards a Verified, Drop-in Replacement of HTTPS.}, url = {http://dblp.uni-trier.de/db/conf/snapl/snapl2017.html#BhargavanBDFHHI17}, volume = 71, year = 2017 }