Sign in

Using Coq to Verify Java Card Applet Isolation Properties.

June AndronickBoutheina ChetaliOlivier 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