Introduction to the seL4 integrity theorems

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.