Biblio

Export 3 results:
Filters: Author is Kevin Elphinstone  [Clear All Filters]
2010
Andronick J, Greenaway D, Elphinstone K.  2010.  Towards Proving Security in the Presence of Large Untrusted Components. 5th International Workshop on Systems Software Verification (SSV 10).
2007
Roscoe T, Elphinstone K, Heiser G.  2007.  Hype and Virtue. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
Elphinstone K, Klein G, Derrin P, Heiser G.  2007.  Towards a Practical, Verified Kernel. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).