G. Balakrishnan, T. Reps, D. Melski, and T. Teitelbaum, WYSINWYX, Verified software
DOI : 10.1145/1749608.1749612

H. Bar-el, H. Choukri, D. Naccache, M. Tunstall, and C. Whelan, The Sorcerer's Apprentice Guide to Fault Attacks, Proceedings of the IEEE
DOI : 10.1109/JPROC.2005.862424

A. Barenghi, L. Breveglieri, I. Koren, and D. Naccache, Fault Injection Attacks on Cryptographic Devices: Theory, Practice, and Countermeasures, Proceedings of the IEEE, vol.100, issue.11
DOI : 10.1109/JPROC.2012.2188769

URL : https://hal.archives-ouvertes.fr/hal-01110932

A. Barenghi, L. Breveglieri, I. Koren, G. Pelosi, and F. Regazzoni, Countermeasures against fault attacks on software implemented AES, Proceedings of the 5th Workshop on Embedded Systems Security, WESS '10
DOI : 10.1145/1873548.1873555

D. Boneh, R. A. Demillo, and R. J. Lipton, On the Importance of Checking Cryptographic Protocols for Faults, EUROCRYPT'97
DOI : 10.1007/3-540-69053-0_4

M. Guthaus, J. Ringenberg, D. Ernst, T. Austin, T. Mudge et al., MiBench: A free, commercially representative embedded benchmark suite, Proceedings of the Fourth Annual IEEE International Workshop on Workload Characterization. WWC-4 (Cat. No.01EX538), 2001.
DOI : 10.1109/WWC.2001.990739

J. Lalande, K. Heydemann, and P. Berthomé, Software Countermeasures for Control Flow Integrity of Smart Card C Codes, ESORICS 2014
DOI : 10.1007/978-3-319-11212-1_12

URL : https://hal.archives-ouvertes.fr/hal-01059201

N. Moro, A. Dehbaoui, K. Heydemann, B. Robisson, and E. Encrenaz, Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller, 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography, 2013.
DOI : 10.1109/FDTC.2013.9

URL : https://hal.archives-ouvertes.fr/emse-00871218

N. Moro, K. Heydemann, E. Encrenaz, and B. Robisson, Formal verification of a software countermeasure against instruction skip attacks, Journal of Cryptographic Engineering, vol.100, issue.11
DOI : 10.1007/s13389-014-0077-7

URL : https://hal.archives-ouvertes.fr/emse-00869509

I. Verbauwhede, D. Karaklajic, and J. Schmidt, The Fault Attack Jungle - A Classification Model to Guide You, 2011 Workshop on Fault Diagnosis and Tolerance in Cryptography, 2011.
DOI : 10.1109/FDTC.2011.13