SawjaCard: A Static Analysis Tool for Certifying Java Card Applications.

Frédéric Besson Thomas P. Jensen Pierre Vittet

Published in: SAS (2014)

Keyphrases

analysis tool
java card
smart card
fault injection
byte code
countermeasures
static analysis
virtual machine
elliptic curve
security model
operating system
control flow
data flow