Login / Signup
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card.
Pascal Sotin
David Cachera
Thomas 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