Vale: Verifying High-Performance Cryptographic Assembly Code

Article Details
Title:	Vale: Verifying High-Performance Cryptographic Assembly Code
Article URLs:	https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond
Alternative Article URLs:
Authors:	Barry Bond	Microsoft Research
	Chris Hawblitzel	Microsoft Research
	Manos Kapritsos	University of Michigan
	K. Rustan M. Leino	Microsoft Research
	Jacob R. Lorch	Microsoft Research
	Bryan Parno	Carnegie Mellon University
	Ashay Rane	The University of Texas at Austin
	Srinath T. V. Setty	Microsoft Research
	Laure Thompson	Cornell University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/project-everest/vale
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/uss/BondHKLLPRST17
Author Comments:

USENIX Security Symposium, USENIX Security 2017