FISSC: A Fault Injection and Simulation Secure Collection
作者： Louis Dureuil , Guillaume Petiot , Marie-Laure Potet , Thanh-Ha Le , Aude Crohen
DOI: 10.1007/978-3-319-45477-1_1
关键词: Smart card 、 Software development process 、 Fault injection 、 Control-flow integrity 、 Distributed computing 、 Implementation 、 Fault model 、 Robustness (computer science) 、 Open problem 、 Computer science
摘要: … In FISSC, for each attack, we provide a file containing the chosen inputs and fault injection locations (in terms of basic blocks of the control flow graph) as well as a colored graph …
springer.com
sci-hub.se 
hal.science 参考文章(18)
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
Maël Berthier, Julien Bringer, Hervé Chabanne, Thanh-Ha Le, Lionel Rivière, Victor Servant, Idea: Embedded Fault Injection Simulator on Smartcard engineering secure software and systems. pp. 222- 229 ,(2014) , 10.1007/978-3-319-04897-0_15
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
Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar Iyer, Discovering Application-Level Insider Attacks Using Symbolic Execution information security conference. ,vol. 297, pp. 63- 75 ,(2009) , 10.1007/978-3-642-01244-0_6
Andrea Holler, Armin Krieg, Tobias Rauter, Johannes Iber, Christian Kreiner, QEMU-Based Fault Injection for a System-Level Analysis of Software Countermeasures Against Fault Attacks 2015 Euromicro Conference on Digital System Design. pp. 530- 533 ,(2015) , 10.1109/DSD.2015.79
Jasper G.J. van Woudenberg, Marc F. Witteman, Federico Menarini, Practical Optical Fault Injection on Secure Microcontrollers workshop on fault diagnosis and tolerance in cryptography. pp. 91- 99 ,(2011) , 10.1109/FDTC.2011.12
Jean-Baptiste Machemie, Clement Mazin, Jean-Louis Lanet, Julien Cartigny, SmartCM a smart card fault injection simulator international workshop on information forensics and security. pp. 1- 6 ,(2011) , 10.1109/WIFS.2011.6123124
Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil, Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections international conference on software testing verification and validation. pp. 213- 222 ,(2014) , 10.1109/ICST.2014.34
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