Login / Signup

Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card.

Pascal SotinDavid CacheraThomas P. Jensen
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • java card
  • static analysis
  • dynamic analysis
  • fault injection
  • byte code
  • source code
  • smart card
  • data access
  • databases
  • regular expressions
  • countermeasures
  • relational databases
  • virtual machine
  • method invocation