Bytecode Analysis for Proof Carrying Code
Published in Electronic Notes in Theoretical Computer Science • Nov 29, 2005
Authors:,,
Martin Wildmoser
Amine Chaieb
Tobias Nipkow
Abstract
Out of annotated programs proof carrying code systems construct and prove verification conditions that guarantee a given safety policy. The annotations may come from various program analyzers and must not be trusted as they need to be verified. A generic verification condition generator can be utili...
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!