On-card Bytecode Verification for Java Card - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2001

On-card Bytecode Verification for Java Card

Abstract

This paper presents a novel approach to the problem of bytecode verification for Java Card applets. Owing to its low memory requirements, our verification algorithm is the first that can be embedded on a smart card, thus increasing tremendously the security of post-issuance downloading of applets on Java Cards.
Fichier principal
Vignette du fichier
oncard-verifier-esmart.pdf (207.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

Xavier Leroy. On-card Bytecode Verification for Java Card. Smart card programming and security, proceedings E-Smart 2001, Sep 2001, Cannes, France. pp.150-164, ⟨10.1007/3-540-45418-7_13⟩. ⟨hal-01499956⟩

Collections

INRIA INRIA2
38 View
100 Download

Altmetric

Share

Gmail Facebook X LinkedIn More