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},
  editor    = {Engin Kirda and
               Thomas Ristenpart},
  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},
  publisher = {{USENIX} Association},
  year      = {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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics