Login / Signup

Combinatorial Validation Testing of Java Card Byte Code Verifiers.

Andrea CalvagnaEmiliano Tramontana
Published in: WETICE (2013)
Keyphrases
  • byte code
  • java card
  • fault injection
  • smart card
  • countermeasures
  • static analysis
  • virtual machine
  • control flow
  • elliptic curve
  • security model
  • data flow
  • software testing
  • test cases
  • data management
  • test suite
  • secret key