Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson. Vale: Verifying High-Performance Cryptographic Assembly Code. In Engin Kirda, Thomas Ristenpart, editors, 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017. pages 917-934, USENIX Association, 2017. [doi]
@inproceedings{BondHKLLPRST17,
title = {Vale: Verifying High-Performance Cryptographic Assembly Code},
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},
year = {2017},
url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
researchr = {https://researchr.org/publication/BondHKLLPRST17},
cites = {0},
citedby = {0},
pages = {917-934},
booktitle = {26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017},
editor = {Engin Kirda and Thomas Ristenpart},
publisher = {USENIX Association},
}