@inproceedings{Sewell_WGMAK_11, address = {Nijmegen, The Netherlands}, author = {Sewell, Thomas and Winwood, Simon and Gammie, Peter and Murray, Toby and Andronick, June and Klein, Gerwin}, booktitle = {International Conference on Interactive Theorem Proving}, doi = {10.1007/978-3-642-22863-6_24}, editor = {{Marko van Eekelen, Herman Geuvers, Julien Schmaltz, and Freek Wiedijk}}, keywords = {sel4, isabelle/hol, integrity, access control, security}, month = aug, pages = {325--340}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/4709.pdf}, publisher = {Springer}, title = {{seL4} Enforces Integrity}, year = {2011} }