Bytecode verification on Java smart cards

Authors

  • Xavier Leroy

    Corresponding author
    1. Trusted Logic, 5, rue du Bailliage, 78000 Versailles, France and INRIA Rocquencourt, domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France
    • INRIA Rocquencourt, domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France
    Search for more papers by this author

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. Copyright © 2002 John Wiley & Sons, Ltd.

Ancillary