@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},
    type             = {{PhD} thesis},
    year             = {2019}
  }