Building an "Impossible" Verifier on a Java Card.

Damien Deville Gilles Grimaud

Published in: WIESS (2002)

Keyphrases

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