Project Everest: towards a verified TLS ecosystem

Add to your list(s) Download to your calendar using vCal

• Jonathan Protzenko, MSR Redmond
• Friday 30 November 2018, 14:00-15:00
• FW26.

If you have a question about this talk, please contact Victor Gomes.

After two years and a half of Project Everest, we have reached several milestones and started to deliver verified C code in the Linux kernel, Firefox, and the Windows kernel. This talk will give a broad overview of Everest. I will present the main tools and proof techniques we used; the various challenges involved in building such a large body of verified code; and the software artifacts that have come out of this project.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.