@phdthesis{Boyton:phd,
    address          = {Sydney, Australia},
    author           = {Boyton, Andrew},
    month            = nov,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9141.pdf},
    school           = {CSE, UNSW},
    title            = {Secure architectures on a verified microkernel},
    year             = {2014}
  }