@article{Klein_AEHCDEEKNSTW_10,
    author           = {Klein, Gerwin and Andronick, June and Elphinstone, Kevin and Heiser, Gernot 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},
    doi              = {10.1145/1743546.1743574},
    journal          = {Communications of the ACM},
    keywords         = {sel4, microkernel, verification},
    month            = jun,
    number           = {6},
    pages            = {107--115},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3783.pdf},
    title            = {{seL4}: Formal Verification of an Operating-System Kernel},
    volume           = {53},
    year             = {2010}
  }