@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
}
@inproceedings {197255,
	author = {Ashay Rane and Calvin Lin and Mohit Tiwari},
	title = {Secure, Precise, and Fast {Floating-Point} Operations on x86 Processors},
	booktitle = {25th USENIX Security Symposium (USENIX Security 16)},
	year = {2016},
	isbn = {978-1-931971-32-4},
	address = {Austin, TX},
	pages = {71--86},
	url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/rane},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {190908,
	author = {Ashay Rane and Calvin Lin and Mohit Tiwari},
	title = {Raccoon: Closing Digital {Side-Channels} through Obfuscated Execution},
	booktitle = {24th USENIX Security Symposium (USENIX Security 15)},
	year = {2015},
	isbn = {978-1-939133-11-3},
	address = {Washington, D.C.},
	pages = {431--446},
	url = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/rane},
	publisher = {USENIX Association},
	month = aug
}
