BibTeX record conf/uss/BondHKLLPRST17

download as .bib file

  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 = {{USENIX} Security Symposium},
  pages     = {917--934},
  publisher = {{USENIX} Association},
  year      = {2017}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics