A Formally Verified Calculus for Full Java Card.

Published in: AMAST (2004)

Keyphrases

java card
smart card
fault injection
countermeasures
static analysis
byte code
elliptic curve
virtual machine
control flow
security model
query evaluation
method invocation
information security
security analysis