Foresight Institute Radio cover image

Gernot Heiser: Defend Against Cyber Threats | Gaming the Future Chapter 8

Foresight Institute Radio

00:00

SEL4: A Secure Operating System

SEL4 was the first real substantial industrial quality system that had an end-to-end proof that the implementation was secure. It's not just a good secure operating system, but it was one that was constructed from the beginning so that it could be proven correct and secure with an automated proof check. The other wonderful thing about SEL4 is that DARPA subjected it to a really intense red team attack that's explained in the paper that we give a citation to in the book.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app