On-Card Bytecode Verification for Java Card
- 11 September 2001
- book chapter
- Published by Springer Nature
- p. 150-164
- https://doi.org/10.1007/3-540-45418-7_13
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Verified Bytecode VerifiersPublished by Springer Nature ,2001
- Standard fixpoint iteration for Java bytecode verificationACM Transactions on Programming Languages and Systems, 2000
- A type system for object initialization in the Java bytecode languageACM Transactions on Programming Languages and Systems, 1999
- FACADE: A Typed Intermediate Language Dedicated to Smart CardsPublished by Springer Nature ,1999
- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOLPublished by Springer Nature ,1999
- A type system for Java bytecode subroutinesACM Transactions on Programming Languages and Systems, 1999
- Java Virtual MachinePublished by Springer Nature ,1998
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Java intermediate bytecodesACM SIGPLAN Notices, 1995
- Register allocation & spilling via graph coloringACM SIGPLAN Notices, 1982