@inproceedings{everest,
  author = {Karthikeyan Bhargavan and
        Barry Bond and
        Antoine Delignat-Lavaud and
        C\'edric Fournet and
        Chris Hawblitzel and
        Catalin Hritcu and
        Samin Ishtiaq and
        Markulf Kohlweiss and
        Rustan Leino and
        Jay Lorch and
        Kenji Maillard and
        Jianyang Pang and
        Bryan Parno and
        Jonathan Protzenko and
        Tahina Ramananandro and
        Ashay Rane and
        Aseem Rastogi and
        Nikhil Swamy and
        Laure Thompson and
        Peng Wang and
        Santiago {Zanella-B\'eguelin} and
        Jean-Karim Zinzindohou\'e},
  title = {Everest: Towards a Verified, Drop-in Replacement of {HTTPS}},
  booktitle = {2nd Summit on Advances in Programming Languages},
  shortbooktitle = {SNAPL},
  month = may,
  year = 2017,
  url = {http://drops.dagstuhl.de/opus/volltexte/2017/7119/pdf/LIPIcs-SNAPL-2017-1.pdf},
}

{"_id":"3wbrHBg8eS2DXNfj3","bibbaseid":"bhargavan-bond-delignatlavaud-fournet-hawblitzel-hritcu-ishtiaq-kohlweiss-etal-everesttowardsaverifieddropinreplacementofhttps-2017","authorIDs":[],"author_short":["Bhargavan, K.","Bond, B.","Delignat-Lavaud, A.","Fournet, C.","Hawblitzel, C.","Hritcu, C.","Ishtiaq, S.","Kohlweiss, M.","Leino, R.","Lorch, J.","Maillard, K.","Pang, J.","Parno, B.","Protzenko, J.","Ramananandro, T.","Rane, A.","Rastogi, A.","Swamy, N.","Thompson, L.","Wang, P.","Zanella-Béguelin, S.","Zinzindohoué, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Karthikeyan"],"propositions":[],"lastnames":["Bhargavan"],"suffixes":[]},{"firstnames":["Barry"],"propositions":[],"lastnames":["Bond"],"suffixes":[]},{"firstnames":["Antoine"],"propositions":[],"lastnames":["Delignat-Lavaud"],"suffixes":[]},{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Chris"],"propositions":[],"lastnames":["Hawblitzel"],"suffixes":[]},{"firstnames":["Catalin"],"propositions":[],"lastnames":["Hritcu"],"suffixes":[]},{"firstnames":["Samin"],"propositions":[],"lastnames":["Ishtiaq"],"suffixes":[]},{"firstnames":["Markulf"],"propositions":[],"lastnames":["Kohlweiss"],"suffixes":[]},{"firstnames":["Rustan"],"propositions":[],"lastnames":["Leino"],"suffixes":[]},{"firstnames":["Jay"],"propositions":[],"lastnames":["Lorch"],"suffixes":[]},{"firstnames":["Kenji"],"propositions":[],"lastnames":["Maillard"],"suffixes":[]},{"firstnames":["Jianyang"],"propositions":[],"lastnames":["Pang"],"suffixes":[]},{"firstnames":["Bryan"],"propositions":[],"lastnames":["Parno"],"suffixes":[]},{"firstnames":["Jonathan"],"propositions":[],"lastnames":["Protzenko"],"suffixes":[]},{"firstnames":["Tahina"],"propositions":[],"lastnames":["Ramananandro"],"suffixes":[]},{"firstnames":["Ashay"],"propositions":[],"lastnames":["Rane"],"suffixes":[]},{"firstnames":["Aseem"],"propositions":[],"lastnames":["Rastogi"],"suffixes":[]},{"firstnames":["Nikhil"],"propositions":[],"lastnames":["Swamy"],"suffixes":[]},{"firstnames":["Laure"],"propositions":[],"lastnames":["Thompson"],"suffixes":[]},{"firstnames":["Peng"],"propositions":[],"lastnames":["Wang"],"suffixes":[]},{"firstnames":["Santiago"],"propositions":[],"lastnames":["Zanella-Béguelin"],"suffixes":[]},{"firstnames":["Jean-Karim"],"propositions":[],"lastnames":["Zinzindohoué"],"suffixes":[]}],"title":"Everest: Towards a Verified, Drop-in Replacement of HTTPS","booktitle":"2nd Summit on Advances in Programming Languages","shortbooktitle":"SNAPL","month":"May","year":"2017","url":"http://drops.dagstuhl.de/opus/volltexte/2017/7119/pdf/LIPIcs-SNAPL-2017-1.pdf","bibtex":"@inproceedings{everest,\n author = {Karthikeyan Bhargavan and\n Barry Bond and\n Antoine Delignat-Lavaud and\n C\\'edric Fournet and\n Chris Hawblitzel and\n Catalin Hritcu and\n Samin Ishtiaq and\n Markulf Kohlweiss and\n Rustan Leino and\n Jay Lorch and\n Kenji Maillard and\n Jianyang Pang and\n Bryan Parno and\n Jonathan Protzenko and\n Tahina Ramananandro and\n Ashay Rane and\n Aseem Rastogi and\n Nikhil Swamy and\n Laure Thompson and\n Peng Wang and\n Santiago {Zanella-B\\'eguelin} and\n Jean-Karim Zinzindohou\\'e},\n title = {Everest: Towards a Verified, Drop-in Replacement of {HTTPS}},\n booktitle = {2nd Summit on Advances in Programming Languages},\n shortbooktitle = {SNAPL},\n month = may,\n year = 2017,\n url = {http://drops.dagstuhl.de/opus/volltexte/2017/7119/pdf/LIPIcs-SNAPL-2017-1.pdf},\n}\n\n","author_short":["Bhargavan, K.","Bond, B.","Delignat-Lavaud, A.","Fournet, C.","Hawblitzel, C.","Hritcu, C.","Ishtiaq, S.","Kohlweiss, M.","Leino, R.","Lorch, J.","Maillard, K.","Pang, J.","Parno, B.","Protzenko, J.","Ramananandro, T.","Rane, A.","Rastogi, A.","Swamy, N.","Thompson, L.","Wang, P.","Zanella-Béguelin, S.","Zinzindohoué, J."],"key":"everest","id":"everest","bibbaseid":"bhargavan-bond-delignatlavaud-fournet-hawblitzel-hritcu-ishtiaq-kohlweiss-etal-everesttowardsaverifieddropinreplacementofhttps-2017","role":"author","urls":{"Paper":"http://drops.dagstuhl.de/opus/volltexte/2017/7119/pdf/LIPIcs-SNAPL-2017-1.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"http://fstar-lang.org/fstar.bib","creationDate":"2020-07-12T03:02:49.297Z","downloads":0,"keywords":[],"search_terms":["everest","towards","verified","drop","replacement","https","bhargavan","bond","delignat-lavaud","fournet","hawblitzel","hritcu","ishtiaq","kohlweiss","leino","lorch","maillard","pang","parno","protzenko","ramananandro","rane","rastogi","swamy","thompson","wang","zanella-béguelin","zinzindohoué"],"title":"Everest: Towards a Verified, Drop-in Replacement of HTTPS","year":2017,"dataSources":["eyMWQ4bjnGX3pP6cA"]}