Bytecode verification on Java smart cards (2002)
by
Xavier Leroy
| Venue: | Software Practice & Experience |
| Citations: | 34 - 2 self |
BibTeX
@ARTICLE{Leroy02bytecodeverification,
author = {Xavier Leroy},
title = {Bytecode verification on Java smart cards},
journal = {Software Practice & Experience},
year = {2002},
volume = {32},
pages = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
