@inproceedings{everest,
  author = {Karthikeyan Bhargavan and
        Barry Bond and
        Antoine Delignat-Lavaud and
        C\'edric Fournet and
        Chris Hawblitzel and
        C\u{a}t\u{a}lin Hri\c{t}cu 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
        Perry 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 (SNAPL)},
  shortbooktitle = {SNAPL},
  month = may,
  year = 2017,
  acceptance = {18/28=0.64},
  chcontrib = {minor},
  url = {http://drops.dagstuhl.de/opus/volltexte/2017/7119/pdf/LIPIcs-SNAPL-2017-1.pdf},
}

{"_id":"YeJpp7Thxdk3dJNi8","bibbaseid":"bhargavan-bond-delignatlavaud-fournet-hawblitzel-hricu-ishtiaq-kohlweiss-etal-everesttowardsaverifieddropinreplacementofhttps-2017","downloads":0,"creationDate":"2019-02-09T20:08:59.678Z","title":"Everest: Towards a Verified, Drop-in Replacement of HTTPS","author_short":["Bhargavan, K.","Bond, B.","Delignat-Lavaud, A.","Fournet, C.","Hawblitzel, C.","Hriţcu, 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."],"year":2017,"bibtype":"inproceedings","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","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":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"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":["Perry"],"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 (SNAPL)","shortbooktitle":"SNAPL","month":"May","year":"2017","acceptance":"18/28=0.64","chcontrib":"minor","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 C\\u{a}t\\u{a}lin Hri\\c{t}cu 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 Perry 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 (SNAPL)},\n shortbooktitle = {SNAPL},\n month = may,\n year = 2017,\n acceptance = {18/28=0.64},\n chcontrib = {minor},\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.","Hriţcu, 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-hricu-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,"html":""},"search_terms":["everest","towards","verified","drop","replacement","https","bhargavan","bond","delignat-lavaud","fournet","hawblitzel","hriţcu","ishtiaq","kohlweiss","leino","lorch","maillard","pang","parno","protzenko","ramananandro","rane","rastogi","swamy","thompson","wang","zanella-béguelin","zinzindohoué"],"keywords":[],"authorIDs":["5c5f335b4510a11000000192"],"dataSources":["hAMnRsgiC28iyFDSa"]}