Lucien Goubet, Karine Heydemann, Emmanuelle Encrenaz, Ronald De Keulenaer. Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal Verification. In Naofumi Homma, Marcel Medwed, editors, Smart Card Research and Advanced Applications - 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers. Volume 9514 of Lecture Notes in Computer Science, pages 177-192, Springer, 2015. [doi]
Abstract is missing.