BibTeX record conf/snapl/BhargavanBDFHHI17

download as .bib file

@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
               Rustan 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},
  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}},
  pages     = {1:1--1:12},
  year      = {2017},
  crossref  = {DBLP:conf/snapl/2017},
  url       = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.1},
  doi       = {10.4230/LIPIcs.SNAPL.2017.1},
  timestamp = {Thu, 02 May 2019 17:40:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snapl/BhargavanBDFHHI17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2017,
  editor    = {Benjamin S. Lerner and
               Rastislav Bod{\'{\i}}k and
               Shriram Krishnamurthi},
  title     = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
               7-10, 2017, Asilomar, CA, {USA}},
  series    = {LIPIcs},
  volume    = {71},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-032-3},
  isbn      = {978-3-95977-032-3},
  timestamp = {Thu, 02 May 2019 17:40:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snapl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics