Transformational derivation of a bytecode verifier.

Walter Dosch Sönke Magnussen

Published in: CATA (2000)

Keyphrases

java card
smart card
virtual machine
source code
countermeasures
static analysis
data streams
elliptic curve
relational databases
java virtual machine