Enabling trusted software integrity

This publication has 9 references indexed in Scilit:

• BlueBoX
  ACM Transactions on Information and System Security, 2003
• Intercepting mobile communications
  Published by Association for Computing Machinery (ACM) ,2001
• Mobile code security
  IEEE Internet Computing, 1998
• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997
• Static detection of dynamic memory errors
  Published by Association for Computing Machinery (ACM) ,1996
• LCLint
  Published by Association for Computing Machinery (ACM) ,1994
• Password cracking: a game of wits
  Communications of the ACM, 1989
• Omega—A Data Flow Analysis Tool for the C Programming Language
  IEEE Transactions on Software Engineering, 1985
• An Efficient Algorithm for Exploiting Multiple Arithmetic Units
  IBM Journal of Research and Development, 1967