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 = {Mon, 01 Feb 2021 08:42:59 +0100},
  biburl    = {https://dblp.org/rec/conf/uss/BondHKLLPRST17.bib},
  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 = {Sun, 26 Sep 2021 09:48:48 +0200},
  biburl    = {https://dblp.org/rec/conf/uss/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics