Hardware, Languages, and Architectures for Defense Against Hostile Operating Systems (DHOSA) Vikram Adve, Krste Asanović, David Evans, Sam King, Greg Morrisett,
Hardware, Languages, and Architectures for Defense Against Hostile Operating Systems (DHOSA)