Foresight Institute Radio cover image

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

Foresight Institute Radio

00:00

The Importance of Least Authority in SEL4

SEL4 is an object capability operating system. The object capability access control paradigm is one that I've been doing work in for many decades and so have several of the people on this call. There's some good evidence, but we don't know. So our risk that it's imperfect is not zero. If SEL4 had been proven perfectly secure at implementing a bad security paradigm such that it was impossible for application programmers to use it to build practical secure systems, it wouldn't be doing us much good. Fortunately, SEL4 is implementing what as far as we know is the best security paradigms to implement.

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