@mastersthesis{Derrin:be,
    address          = {Sydney, Australia},
    author           = {Philip Geoffrey Derrin},
    keywords         = {sel4 capability haskell},
    month            = jun,
    note             = {Available from publications page at \url{http://trustworthy.systems/}},
    paperUrl         = {https://trustworthy.systems/publications/theses_public/05/Derrin%3Abe.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {A Secure Microkernel},
    type             = {{BSc(Hons)} Thesis},
    year             = {2005}
  }