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 metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01499944
Contributor : Xavier Leroy <>
Submitted on : Saturday, April 1, 2017 - 5:43:35 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Sunday, July 2, 2017 - 12:52:29 PM

File

oncard-verifier-spe.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

233

Files downloads

179