@InProceedings{Klein_EHACDEEKNSTW_09,
    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}
}