Secure virtual architecture
- 14 October 2007
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 29 references indexed in Scilit:
- A principled approach to operating system construction in HaskellPublished by Association for Computing Machinery (ACM) ,2005
- The KaffeOS Java runtime systemACM Transactions on Programming Languages and Systems, 2005
- CCured: type-safe retrofitting of legacy softwareACM Transactions on Programming Languages and Systems, 2005
- Improving the reliability of commodity operating systemsACM Transactions on Computer Systems, 2005
- Memory safety without garbage collection for embedded applicationsACM Transactions on Embedded Computing Systems, 2005
- Xen and the art of virtualizationPublished by Association for Computing Machinery (ACM) ,2003
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Bugs as deviant behaviorPublished by Association for Computing Machinery (ACM) ,2001
- Dealing with disasterPublished by Association for Computing Machinery (ACM) ,1996
- Efficient software-based fault isolationACM SIGOPS Operating Systems Review, 1993