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.
Type de document :
Communication dans un congrès
Isabelle Attali; Thomas Jensen. Smart card programming and security, proceedings E-Smart 2001, Sep 2001, Cannes, France. Springer, 2149, pp.150-164, LNCS. 〈10.1007/3-540-45418-7_13〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01499956
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 18:37:43
Dernière modification le : jeudi 30 novembre 2017 - 01:14:56
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 13:02:08

Fichier

oncard-verifier-esmart.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy. On-card Bytecode Verification for Java Card. Isabelle Attali; Thomas Jensen. Smart card programming and security, proceedings E-Smart 2001, Sep 2001, Cannes, France. Springer, 2149, pp.150-164, LNCS. 〈10.1007/3-540-45418-7_13〉. 〈hal-01499956〉

Partager

Métriques

Consultations de la notice

54

Téléchargements de fichiers

11