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