Formal development of an embedded verifier for Java Card byte code
- 25 June 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Lightweight Bytecode VerificationJournal of Automated Reasoning, 2003
- Application of the B formal method to the proof of a type verification algorithmPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Toward a provably-correct implementation of the JVM bytecode verifierPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verified lightweight bytecode verificationConcurrency and Computation: Practice and Experience, 2001
- On-Card Bytecode Verification for Java CardPublished by Springer Nature ,2001
- Verified Bytecode VerifiersPublished by Springer Nature ,2001
- A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and SubroutinesPublished by Springer Nature ,1999
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- The B-BookPublished by Cambridge University Press (CUP) ,1996