On-card bytecode verification for Java card

DOI10.1007/3-540-45418-7_13MaRDI QIDQ4788555zbMATH OpenFDO

Authors Xavier Leroy

Publication date 2 February 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45418-7_13

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Bytecode verification on Java smart cards
• scientific article; zbMATH DE number 2030038
• Java bytecode verification: An overview
• Java bytecode verification: Algorithms and formalizations
• Lightweight bytecode verification

Cited in

(14)

• Java bytecode verification: Algorithms and formalizations
• Lightweight bytecode verification
• A B model for ensuring soundness of a large subset of the Java card virtual machine
• The PACAP prototype: A tool for detecting Java card illegal flow
• JCML: A specification language for the runtime verification of Java card programs
• scientific article; zbMATH DE number 1950608 (Why is no real title available?)
• scientific article; zbMATH DE number 1956492 (Why is no real title available?)
• scientific article; zbMATH DE number 1980964 (Why is no real title available?)
• scientific article; zbMATH DE number 2030038 (Why is no real title available?)
• scientific article; zbMATH DE number 2043539 (Why is no real title available?)
• Java bytecode verification: An overview
• CardS4: Modal theorem proving on Java smardcards
• Bytecode verification on Java smart cards
• Specification and runtime verification of Java card programs

This page was built for publication: On-card bytecode verification for Java card

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4788555)