A Parametrized Polyvariant Bytecode Verifier.

Ludovic Henrio Bernard P. Serpette

Published in: JFLA (2003)

Keyphrases

java card
smart card
virtual machine
countermeasures
static analysis
source code
java virtual machine
security model
elliptic curve
databases
high level
control flow
database
machine learning
preprocessing
query optimization