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
PublisherUSENIX Association
Conference LocationVancouver, BC
ISBN Number978-1-931971-40-9
URLhttps://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond