@InProceedings{Klein:SOSP:L4:2009,
    author =  {Gerwin Klein
               and Kevin Elphinstone
               and Gernot Heiser
               and June Andronick
               and David Cock
               and Philip Derrin
               and Dhammika Elkaduwe
               and Kai Engelhardt
               and Rafal Kolanski
               and Michael Norrish
               and Thomas Sewell
               and Harvey Tuch
               and Simon Winwood},
    title =        {{seL4}: Formal Verification of an {OS} Kernel},
    booktitle =    {Proc.\ 22nd ACM Symposium on Operating Systems Principles (SOSP)},
    publisher =    {ACM},
    year =         {2009},
    address =      {Big Sky, MT, USA},
    month =        oct,
    pages =        {207--220}
}