BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Project Everest: towards a verified TLS ecosystem - Jonathan Protz
 enko\, MSR Redmond
DTSTART:20181130T140000Z
DTEND:20181130T150000Z
UID:TALK113008@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:After two years and a half of Project Everest\, we have reache
 d several milestones and started to deliver verified C code in the Linux k
 ernel\, Firefox\, and the Windows kernel. This talk will give a broad over
 view of Everest. I will present the main tools and proof techniques we use
 d\; the various challenges involved in building such a large body of verif
 ied code\; and the software artifacts that have come out of this project.
LOCATION:FW26
END:VEVENT
END:VCALENDAR