Formal Development of an Embedded Verifier for Java Card Byte Code.

Ludovic Casset Lilian Burdy Antoine Requet

Published in: DSN (2002)

Keyphrases

java card
byte code
smart card
fault injection
static analysis
countermeasures
virtual machine
elliptic curve
case study
security model
hardware implementation
data flow
control flow
information security
java virtual machine
pattern matching
software engineering