Vale: Verifying High-Performance Cryptographic Assembly Code

TitleVale: Verifying High-Performance Cryptographic Assembly Code
Publication TypeConference Paper
Year of Publication2017
AuthorsBond B, Hawblitzel C, Kapritsos M, K. Leino RM, Lorch JR, Parno B, Rane A, Setty S, Thompson L
Conference Name26th {USENIX} Security Symposium ({USENIX} Security 17)
Date Published08/2017
Publisher{USENIX} Association
Conference LocationVancouver, BC
ISBN Number978-1-931971-40-9
URLhttps://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond