@phdthesis{Shen:phd, address = {Sydney, Australia}, author = {Yanyan Shen}, month = mar, paperurl = {https://trustworthy.systems/publications/papers/Shen%3Aphd.pdf}, school = {UNSW}, title = {Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware}, year = {2019} }