University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Project Everest: towards a verified TLS ecosystem

Project Everest: towards a verified TLS ecosystem

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

  • UserJonathan Protzenko, MSR Redmond
  • ClockFriday 30 November 2018, 14:00-15:00
  • HouseFW26.

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity