Login / Signup
Lucien Goubet
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Power Analysis
Formal Verification
Countermeasures
Model Checker
Top Venues
CARDIS
</>
Publications
</>
Lucien Goubet
,
Karine Heydemann
,
Emmanuelle Encrenaz
,
Ronald De Keulenaer
Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal Verification.
CARDIS
(2015)