Compilation of a Countermeasure Against Instruction-Skip Fault Attacks
作者： Thierno Barry , Damien Couroussé , Bruno Robisson
关键词:
摘要: Physical attacks especially fault represent one the major threats against embedded systems. In state of art, software countermeasures are either applied at source code level where it will very likely be removed compilation time, or assembly several transformations need to performed on and lead significant overheads both in terms size execution time. This paper presents use compiler techniques efficiently automate application instruction-skip attacks. We propose a modified LLVM that considers our security objectives throughout process. Experimental results illustrate effectiveness this approach AES implementations running an ARM-based microcontroller overhead compared existing solutions.
acm.org
archives-ouvertes.fr
sci-hub.se 参考文章(11)
Jean-François Lalande, Karine Heydemann, Pascal Berthomé, Software Countermeasures for Control Flow Integrity of Smart Card C Codes european symposium on research in computer security. ,vol. 8713, pp. 200- 218 ,(2014) , 10.1007/978-3-319-11212-1_12
M.R. Guthaus, T. Mudge, R.B. Brown, D. Ernst, T.M. Austin, J.S. Ringenberg, MiBench: A free, commercially representative embedded benchmark suite ieee international symposium on workload characterization. pp. 3- 14 ,(2001) , 10.1109/WWC.2001.15
G. Balakrishnan, T. Reps, D. Melski, T. Teitelbaum, WYSINWYX: What You See Is Not What You eXecute verified software: theories, tools, experiments. pp. 202- 213 ,(2005) , 10.1007/978-3-540-69149-5_22
Dan Boneh, Richard A. DeMillo, Richard J. Lipton, On the importance of checking cryptographic protocols for faults theory and application of cryptographic techniques. pp. 37- 51 ,(1997) , 10.1007/3-540-69053-0_4
Ingrid Verbauwhede, Dusko Karaklajic, Jorn-Marc Schmidt, The Fault Attack Jungle - A Classification Model to Guide You workshop on fault diagnosis and tolerance in cryptography. pp. 3- 8 ,(2011) , 10.1109/FDTC.2011.13
Nicolas Moro, Amine Dehbaoui, Karine Heydemann, Bruno Robisson, Emmanuelle Encrenaz, Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller workshop on fault diagnosis and tolerance in cryptography. pp. 77- 88 ,(2013) , 10.1109/FDTC.2013.9
Alessandro Barenghi, Luca Breveglieri, Israel Koren, David Naccache, Fault Injection Attacks on Cryptographic Devices: Theory, Practice, and Countermeasures Proceedings of the IEEE. ,vol. 100, pp. 3056- 3076 ,(2012) , 10.1109/JPROC.2012.2188769
Karine Heydemann, Karine Heydemann, Emmanuelle Encrenaz, Emmanuelle Encrenaz, Nicolas Moro, Nicolas Moro, Bruno Robisson, Formal verification of a software countermeasure against instruction skip attacks Journal of Cryptographic Engineering. ,vol. 4, pp. 145- 156 ,(2014) , 10.1007/S13389-014-0077-7
H. Bar-El, H. Choukri, D. Naccache, M. Tunstall, C. Whelan, The Sorcerer's Apprentice Guide to Fault Attacks Proceedings of the IEEE. ,vol. 94, pp. 370- 382 ,(2006) , 10.1109/JPROC.2005.862424
Francesco Regazzoni, Alessandro Barenghi, Gerardo Pelosi, Israel Koren, Luca Breveglieri, Countermeasures against fault attacks on software implemented AES: effectiveness and cost compilers, architecture, and synthesis for embedded systems. ,(2010)