Biblio

Export 1 results:
Filters: Author is Laure Thompson  [Clear All Filters]
2017
Bond B, Hawblitzel C, Kapritsos M, K. Leino RM, Lorch JR, Parno B, Rane A, Setty S, Thompson L.  2017.  Vale: Verifying High-Performance Cryptographic Assembly Code. 26th USENIX Security Symposium (USENIX Security 17). :917--934.