@inproceedings{Roscoe_EH_07,
    address          = {San Diego, USA},
    author           = {Roscoe, Timothy and Elphinstone, Kevin and Heiser, Gernot},
    booktitle        = {Workshop on Hot Topics in Operating Systems (HotOS)},
    editor           = {{Galen Hunt}},
    month            = may,
    pages            = {19--24},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1473.pdf},
    publisher        = {USENIX},
    title            = {Hype and Virtue},
    year             = {2007}
  }