Enabling trusted software integrity
- 1 October 2002
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (10), 108-120
- https://doi.org/10.1145/605397.605409
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- BlueBoXACM Transactions on Information and System Security, 2003
- Intercepting mobile communicationsPublished by Association for Computing Machinery (ACM) ,2001
- Mobile code securityIEEE Internet Computing, 1998
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996
- LCLintPublished by Association for Computing Machinery (ACM) ,1994
- Password cracking: a game of witsCommunications of the ACM, 1989
- Omega—A Data Flow Analysis Tool for the C Programming LanguageIEEE Transactions on Software Engineering, 1985
- An Efficient Algorithm for Exploiting Multiple Arithmetic UnitsIBM Journal of Research and Development, 1967