PLDI 2018 (series) / FMS 2018 (series) / Formal Methods and Security /
Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem
Mon 18 Jun 2018 11:00 - 12:15 at Discovery C - Morning Session II
Mon 18 Jun
11:00 - 12:15 Talk | Nikhil SwamyMicrosoft Research |