USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is Kevin Elphinstone [Clear All Filters]
Towards Proving Security in the Presence of Large Untrusted Components. 5th International Workshop on Systems Software Verification (SSV 10).
.
2010. Hype and Virtue. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
.
2007. Towards a Practical, Verified Kernel. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
.
2007.