@inproceedings{Elphinstone_Shen_13,
    address          = {Budapest, Hungary },
    author           = {Elphinstone, Kevin and Shen, Yanyan},
    booktitle        = {Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV)},
    keywords         = {multicore; kernel; reliability},
    month            = jun,
    pages            = {6},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6840.pdf},
    title            = {Improving the Trustworthiness of Commodity Hardware with Software},
    year             = {2013}
  }