seL4 Enforces Integrity.

Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein

Browse the full ITP paper archive.