@inproceedings {203642,
	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 Setty and Laure Thompson},
	title = {Vale: Verifying {High-Performance} Cryptographic Assembly Code},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {917--934},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
	publisher = {USENIX Association},
	month = aug
}
