Using Coq to Verify Java Card Applet Isolation Properties.

June Andronick Boutheina Chetali Olivier Ly

Published in: TPHOLs (2003)

Keyphrases

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