@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}}, year = {2018} }