@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}
  }