@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} }