On-card Bytecode Verification for Java Card

Résumé : 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.
Document type :
Conference papers
Complete list of metadatas

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

File

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

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

80

Files downloads

102