Bytecode verification on Java smart cardsReport as inadecuate




Bytecode verification on Java smart cards - Download this document for free, or read online. Document in PDF available to download.

1 CRISTAL - Typed programming, modularity and compilation Inria Paris-Rocquencourt

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.

Keywords : Bytecode verification Java Java Card smart cards applets security





Author: Xavier Leroy -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents