Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal Verification.

Lucien Goubet, Karine Heydemann, Emmanuelle Encrenaz, Ronald De Keulenaer

Browse the full CARDIS paper archive.