Karine Heydemann, Nicolas Moro, Emmanuelle Encrenaz, Bruno Robisson. Formal verification of a software countermeasure against instruction skip attacks. IACR Cryptology ePrint Archive, 2013:679, 2013. [doi]
@article{HeydemannMER13,
title = {Formal verification of a software countermeasure against instruction skip attacks},
author = {Karine Heydemann and Nicolas Moro and Emmanuelle Encrenaz and Bruno Robisson},
year = {2013},
url = {http://eprint.iacr.org/2013/679},
researchr = {https://researchr.org/publication/HeydemannMER13},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2013},
pages = {679},
}