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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)