PLunch: Vale: Verifying High-Performance Cryptographic Assembly Code
Kesha Hietala
Abstract
Weekly PL lunch discussing the paper "Vale: Verifying High-Performance Cryptographic Assembly Code.” Discussion will be led by Kesha Hietala.
Paper available here: https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-bond.pdf
Sign up to present here: https://docs.google.com/
This talk is organized by Kesha Hietala