Hardbound
- 1 March 2008
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (1), 103-114
- https://doi.org/10.1145/1346281.1346295
Abstract
No abstract availableKeywords
This publication has 44 references indexed in Scilit:
- Safe manual memory managementPublished by Association for Computing Machinery (ACM) ,2007
- Secure virtual architecturePublished by Association for Computing Machinery (ACM) ,2007
- RakshaPublished by Association for Computing Machinery (ACM) ,2007
- DieHardPublished by Association for Computing Machinery (ACM) ,2006
- CCured: type-safe retrofitting of legacy softwareACM Transactions on Programming Languages and Systems, 2005
- Mondrian memory protectionPublished by Association for Computing Machinery (ACM) ,2002
- Simics: A full system simulation platformComputer, 2002
- Garbage collection in an uncooperative environmentSoftware: Practice and Experience, 1988
- Operating System Structures to Support Security and Reliable SoftwareACM Computing Surveys, 1976
- Programming semantics for multiprogrammed computationsCommunications of the ACM, 1966