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]
@inproceedings{GoubetHEK15,
title = {Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal Verification},
author = {Lucien Goubet and Karine Heydemann and Emmanuelle Encrenaz and Ronald De Keulenaer},
year = {2015},
doi = {10.1007/978-3-319-31271-2_11},
url = {http://dx.doi.org/10.1007/978-3-319-31271-2_11},
researchr = {https://researchr.org/publication/GoubetHEK15},
cites = {0},
citedby = {0},
pages = {177-192},
booktitle = {Smart Card Research and Advanced Applications - 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers},
editor = {Naofumi Homma and Marcel Medwed},
volume = {9514},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-31270-5},
}