Formally verified software countermeasures for control-flow integrity of smart card C code
作者： Karine Heydemann , Jean-François Lalande , Pascal Berthomé
DOI: 10.1016/J.COSE.2019.05.004
关键词: Smart card 、 Encryption 、 Embedded system 、 Source code 、 Rewriting 、 x86 、 Software 、 Assembly language 、 Computer science
摘要: … The second column of Table 1 shows that, as formally verified, all attacks with a jump distance greater than or equal to two C statements were captured by our countermeasures …
archives-ouvertes.fr
sci-hub.se 参考文章(52)
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
Amine Dehbaoui, Amir-Pasha Mirbaha, Nicolas Moro, Jean-Max Dutertre, Assia Tria, Electromagnetic glitch on the AES round counter international workshop constructive side channel analysis and secure design. pp. 17- 31 ,(2013) , 10.1007/978-3-642-40026-1_2
Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet, Combined Software and Hardware Attacks on the Java Card Control Flow Smart Card Research and Advanced Applications. pp. 283- 296 ,(2011) , 10.1007/978-3-642-27257-8_18
Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet, Detecting Laser Fault Injection for Smart Cards Using Security Automata international symposium on security in computing and communication. pp. 18- 29 ,(2013) , 10.1007/978-3-642-40576-1_3
Maxime Puys, Lionel Rivière, Julien Bringer, Thanh-ha Le, High-Level Simulation for Multiple Fault Injection Evaluation DPM/SETOP/QASA. pp. 293- 308 ,(2014) , 10.1007/978-3-319-17016-9_19
Lionel Rivière, Marie-Laure Potet, Thanh-Ha Le, Julien Bringer, Hervé Chabanne, Maxime Puys, Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks foundations and practice of security. pp. 92- 111 ,(2014) , 10.1007/978-3-319-17040-4_7
Mathias Payer, Antonio Barresi, Thomas R. Gross, Fine-Grained Control-Flow Integrity Through Binary Hardening Detection of Intrusions and Malware, and Vulnerability Assessment. pp. 144- 164 ,(2015) , 10.1007/978-3-319-20550-2_8
Lionel Riviere, Julien Bringer, Thanh-Ha Le, Herve Chabanne, A novel simulation approach for fault injection resistance evaluation on smart cards international conference on software testing verification and validation workshops. pp. 1- 8 ,(2015) , 10.1109/ICSTW.2015.7107460
Maia Ginsburg, Andrew W. Appel, Modern Compiler Implementation in C ,(2007)
Yen Sung-Ming, Seungjoo Kim, Seongan Lim, Sangjae Moon, A Countermeasure against One Physical Cryptanalysis May Benefit Another Attack international conference on information security and cryptology. pp. 414- 427 ,(2001) , 10.1007/3-540-45861-1_31