BibTeX record conf/snapl/BhargavanBDFHHI17

• > Home > conf/snapl/BhargavanBDFHHI17

@inproceedings{DBLP:conf/snapl/BhargavanBDFHHI17,
  author       = {Karthikeyan Bhargavan and
                  Barry Bond and
                  Antoine Delignat{-}Lavaud and
                  C{\'{e}}dric Fournet and
                  Chris Hawblitzel and
                  Catalin Hritcu and
                  Samin Ishtiaq and
                  Markulf Kohlweiss and
                  K. Rustan M. Leino and
                  Jay R. Lorch and
                  Kenji Maillard and
                  Jianyang Pan 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{\'{e}}guelin and
                  Jean Karim Zinzindohoue},
  editor       = {Benjamin S. Lerner and
                  Rastislav Bod{\'{\i}}k and
                  Shriram Krishnamurthi},
  title        = {Everest: Towards a Verified, Drop-in Replacement of {HTTPS}},
  booktitle    = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
                  7-10, 2017, Asilomar, CA, {USA}},
  series       = {LIPIcs},
  volume       = {71},
  pages        = {1:1--1:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.1},
  doi          = {10.4230/LIPICS.SNAPL.2017.1},
  timestamp    = {Sat, 30 Sep 2023 09:57:02 +0200},
  biburl       = {https://dblp.org/rec/conf/snapl/BhargavanBDFHHI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}