Static Program Analysis for Java Card Applets.

Vasilios Almaliotis Alexandros Loizidis Panagiotis Katsaros Panagiotis Louridas Diomidis Spinellis

Published in: CARDIS (2008)

Keyphrases

java card
smart card
byte code
fault injection
countermeasures
static analysis
virtual machine
control flow
elliptic curve
information security
security model
information systems
low cost
data flow
security analysis
method invocation