Bytecode Analysis for Proof Carrying Code
Open Access
- 5 December 2005
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 141 (1) , 19-34
- https://doi.org/10.1016/j.entcs.2005.02.040
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Prototyping Proof Carrying CodePublished by Springer Nature ,2006
- Asserting Bytecode SafetyPublished by Springer Nature ,2005
- Foundational proof-carrying codePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002