@techreport{Potts_BAAKH_14:tr,
    address          = {Sydney, Australia},
    author           = {Potts, Daniel and Bourquin, Rene and Andresen, Leslie and Andronick, June and Klein, Gerwin and
                        Heiser, Gernot},
    institution      = {NICTA},
    issn             = {1833-9646-8257},
    keywords         = {microkernel, security, safety, common criteria, assurance},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8257.pdf},
    title            = {Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations},
    type             = {Technical Report},
    year             = {2014}
  }