Algebraic Power Analysis by Abstract Interpretation.

Isabella Mastroeni

Published in: High. Order Symb. Comput. (2004)

Keyphrases

power analysis
abstract interpretation
termination analysis
countermeasures
differential power analysis
smart card
static analysis
model checking
active rules
dynamic analysis
reasoning engine
elliptic curve
active databases
block cipher
wireless networks
information security
high level
test cases
open source