Portal de Periódicos da CAPES

On-Card Bytecode Verification for Java Card

2001; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-45418-7_13

1611-3349

Xavier Leroy,

Distributed systems and fault tolerance

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.