@inproceedings{Shen_Elphinstone_15,
    address          = {Paris, France},
    author           = {Shen, Yanyan and Elphinstone, Kevin},
    booktitle        = {European Dependable Computing Conference},
    keywords         = {multicore; kernel; reliability},
    month            = sep,
    pages            = {12},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8680.pdf},
    title            = {Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware},
    year             = {2015}
  }