Asserting Bytecode Safety

This publication has 11 references indexed in Scilit:

• Prototyping Proof Carrying Code
  Published by Springer Nature ,2006
• Bytecode Analysis for Proof Carrying Code
  Electronic Notes in Theoretical Computer Science, 2005
• Certifying Machine Code Safety: Shallow Versus Deep Embedding
  Published by Springer Nature ,2004
• Precise interprocedural analysis through linear algebra
  ACM SIGPLAN Notices, 2004
• A provably sound TAL for back-end optimization
  Published by Association for Computing Machinery (ACM) ,2003
• A Logic of Object-Oriented Programs
  Published by Springer Nature ,2003
• A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
  Published by Springer Nature ,2003
• Foundational proof-carrying code
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Isabelle/HOL
  Published by Springer Nature ,2002
• Putting static analysis to work for verification
  Published by Association for Computing Machinery (ACM) ,2000