Bytecode verification on Java smart cards - Archive ouverte HAL Access content directly
Journal Articles Software: Practice and Experience Year : 2002

Bytecode verification on Java smart cards

(1)
1

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.
Fichier principal
Vignette du fichier
oncard-verifier-spe.pdf (342.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01499944 , version 1 (01-04-2017)

Identifiers

Cite

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

Collections

INRIA INRIA2
94 View
247 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More