Skip to Main content Skip to Navigation
Journal articles

Bytecode verification on Java smart cards

Abstract : This article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off-card bytecode transformations, we simplify the bytecode verifier and reduce its memory requirements to the point where it can be embedded on a smart card, thus increasing significantly the security of post-issuance downloading of applets on Java Cards. This article describes the on-card verification algorithm and the off-card code transformations, and evaluates experimentally their impact on applet code size.
Document type :
Journal articles
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Xavier Leroy Connect in order to contact the contributor
Submitted on : Saturday, April 1, 2017 - 5:43:35 PM
Last modification on : Tuesday, January 11, 2022 - 11:16:20 AM
Long-term archiving on: : Sunday, July 2, 2017 - 12:52:29 PM


Files produced by the author(s)




Xavier Leroy. Bytecode verification on Java smart cards. Software: Practice and Experience, Wiley, 2002, 32 (4), pp.319-340. ⟨10.1002/spe.438⟩. ⟨hal-01499944⟩



Les métriques sont temporairement indisponibles