This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
This talk, presented at the seL4 Summit, October 2022, gives an introduction to the seL4 integrity theorems. The integrity theorems were first published in 2011, and they show how seL4 can enforce access control policies. The talk explains what the theorems mean, and how to apply them to both static and dynamic seL4-based systems. Also on YouTube. MP4 downloads are available from Vimeo. Slides are…
This talk, presented at the seL4 Summit, October 2022, gives an
introduction to the seL4 integrity theorems. The integrity
theorems were first published in 2011, and they show how seL4
can enforce access control policies. The talk explains what the theorems
mean, and how to apply them to both static and dynamic seL4-based
systems.
Also on YouTube. MP4 downloads are available from Vimeo. Slides
are available in PDF and Keynote.
Also on YouTube. MP4 downloads are available from Vimeo. There are
slides in PDF and Keynote.
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.