Combined software and hardware fault injection vulnerability detection

被引:12
作者
Given-Wilson, Thomas [1 ]
Jafri, Nisrine [2 ]
Legay, Axel [1 ]
机构
[1] Catholic Univ Louvain, Pl Sainte Barbe 2 Bte L5-02-01, B-1348 Louvain La Neuve, Belgium
[2] CEA, 17 Ave Martyrs, F-38000 Grenoble, France
关键词
Fault injection; Vulnerability; Statistical model checking; Formal methods; EMP;
D O I
10.1007/s11334-020-00364-5
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Fault injection is a well-known method to test the robustness and security vulnerabilities of software. Software-based and hardware-based approaches have been used to detect fault injection vulnerabilities. Software-based approaches typically rely upon simulations that can provide broad and rapid coverage, but may not correlate with genuine hardware vulnerabilities. Hardware-based experiments are indisputable in their results, but rely upon expensive expert knowledge and manual testing yielding ad hoc and extremely limited results. Further, there is very limited connection between software-based simulation results and hardware-based experiments. This work bridges software-based and hardware-based fault injection vulnerability detection by contrasting results of both approaches. This demonstrates that: not all software-based vulnerabilities can be reproduced in hardware; prior conjectures on the fault model for electromagnetic pulse attacks may not be accurate; and that there is a co-relation between software-based and hardware-based approaches. Further, combining both approaches can yield a vastly more accurate and efficient approach to detecting genuine fault injection vulnerabilities.
引用
收藏
页码:101 / 120
页数:20
相关论文
共 50 条
  • [31] Study on software fault injection based on onboard system
    Peng, JJ
    Hong, BR
    Yuan, CJ
    Li, AG
    Wei, ZH
    Qiao, YQ
    CHINESE JOURNAL OF ELECTRONICS, 2005, 14 (03): : 434 - 437
  • [32] Study of software fault injection system and testing method
    Zhang, JF
    Hong, BR
    ICEMI 2005: Conference Proceedings of the Seventh International Conference on Electronic Measurement & Instruments, Vol 8, 2005, : 78 - 81
  • [33] A software-based fault injection tool (SOFIT)
    Avresky, DR
    Geoghegan, SJ
    Tapadiya, PK
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1998, 13 (06): : 327 - 337
  • [34] Computing reliability: On the differences between software testing and software fault injection techniques
    Kooli, Maha
    Kaddachi, Firas
    Di Natale, Giorgio
    Bosio, Alberto
    Benoit, Pascal
    Torres, Lionel
    MICROPROCESSORS AND MICROSYSTEMS, 2017, 50 : 102 - 112
  • [35] Improving Fault Tolerance Utilizing Hardware-Software-Co-Synthesis
    Riener, Heinz
    Frehse, Stefan
    Fey, Goerschwin
    DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 939 - 942
  • [36] The Research Of Memory Fault Simulation And Fault Injection Method For BIT Software Test
    Xu, Jun
    Xu, Ping
    PROCEEDINGS OF THE 2012 SECOND INTERNATIONAL CONFERENCE ON INSTRUMENTATION & MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC 2012), 2012, : 718 - 722
  • [37] Software and hardware techniques for SEU detection in IP processors
    Bolchini, C.
    Miele, A.
    Rebaudengo, M.
    Salice, F.
    Scioto, D.
    Sterpone, L.
    Violante, M.
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2008, 24 (1-3): : 35 - 44
  • [38] Software and Hardware Techniques for SEU Detection in IP Processors
    C. Bolchini
    A. Miele
    M. Rebaudengo
    F. Salice
    D. Sciuto
    L. Sterpone
    M. Violante
    Journal of Electronic Testing, 2008, 24 : 35 - 44
  • [39] Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection
    Solet, Dimitry
    Bechennec, Jean-Luc
    Briday, Mikael
    Faucou, Sebastien
    Pillement, Sebastien
    2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 25 - 32
  • [40] Design of Fault Injection System Based on Hardware-In-the-Loop Simulation
    Ren, Jian
    Wang, Zheng
    2014 INTERNATIONAL CONFERENCE ON AUTOMATIC CONTROL THEORY AND APPLICATION, 2014, : 47 - 50