@inproceedings{Klein_EHACDEEKNSTW_09,
    address          = {Big Sky, MT, USA},
    author           = {Klein, Gerwin and Elphinstone, Kevin and Heiser, Gernot and Andronick, June and Cock, David and
                        Derrin, Philip and Elkaduwe, Dhammika and Engelhardt, Kai and Kolanski, Rafal and Norrish, Michael
                        and Sewell, Thomas and Tuch, Harvey and Winwood, Simon},
    booktitle        = {ACM Symposium on Operating Systems Principles},
    keywords         = {sel4, microkernel, isabelle, formal verification},
    month            = oct,
    pages            = {207--220},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1852.pdf},
    publisher        = {ACM},
    slides           = {https://trustworthy.systems/publications/nicta_slides/1852.pdf},
    title            = {{seL4}: Formal Verification of an {OS} Kernel},
    video            = {https://www.sigops.org/s/conferences/sosp/2009/videos/15_gerwin_klein.ogg},
    year             = {2009}
  }