Login / Signup

Handling contract violations in Java card using explict exception channels.

Juliana AraujoRafael SouzaNélio CachoAnamaria Martins MoreiraPlácido A. Souza Neto
Published in: WEH@ICSE (2012)
Keyphrases
  • java card
  • smart card
  • fault injection
  • byte code
  • static analysis
  • countermeasures
  • virtual machine
  • elliptic curve
  • data flow
  • control flow
  • security analysis
  • database
  • open source
  • cost effective
  • method invocation