BibTeX record conf/uss/BondHKLLPRST17

download as .bib file

@inproceedings{DBLP:conf/uss/BondHKLLPRST17,
  author    = {Barry Bond and
               Chris Hawblitzel and
               Manos Kapritsos and
               K. Rustan M. Leino and
               Jacob R. Lorch and
               Bryan Parno and
               Ashay Rane and
               Srinath T. V. Setty and
               Laure Thompson},
  title     = {Vale: Verifying High-Performance Cryptographic Assembly Code},
  booktitle = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
               BC, Canada, August 16-18, 2017},
  pages     = {917--934},
  year      = {2017},
  crossref  = {DBLP:conf/uss/2017},
  url       = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
  timestamp = {Fri, 01 Sep 2017 12:29:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/BondHKLLPRST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2017,
  editor    = {Engin Kirda and
               Thomas Ristenpart},
  title     = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
               BC, Canada, August 16-18, 2017},
  publisher = {{USENIX} Association},
  year      = {2017},
  url       = {https://www.usenix.org/conference/usenixsecurity17},
  timestamp = {Fri, 01 Sep 2017 12:24:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics