Login / Signup
Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal Verification.
Lucien Goubet
Karine Heydemann
Emmanuelle Encrenaz
Ronald De Keulenaer
Published in:
CARDIS (2015)
Keyphrases
</>
countermeasures
formal verification
information security
model checking
cyber attacks
model checker
power analysis
java card
data mining
intrusion detection
fault diagnosis
automated reasoning
functional verification