seL4 Enforces Integrity

Thomas Sewell, Simon Winwood, Peter Gammie, Toby Murray, June Andronick, Gerwin Klein. seL4 Enforces Integrity. In Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk, editors, Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Volume 6898 of Lecture Notes in Computer Science, pages 325-340, Springer, 2011. [doi]

Abstract

Abstract is missing.