Static Analysis for Blinding.

Christoffer Rosenkilde Nielsen Hanne Riis Nielson

Published in: Nord. J. Comput. (2006)

Keyphrases

static analysis
dynamic analysis
source code
java card
malicious code
symbolic execution
secret information
regular expressions
abstract interpretation
test generation
databases
learning algorithm
wordnet
integrity constraints
test suite