@mastersthesis{Suann:be,
    address          = {Sydney, Australia},
    author           = {Jack Suann},
    month            = may,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/18/Suann%3Abe.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {Zircon on {seL4}},
    type             = {{BE} Thesis},
    year             = {2018}
  }