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 条
  • [41] Fault detection in autonomous robots based on fault injection and learning
    Anders Lyhne Christensen
    Rehan O’Grady
    Mauro Birattari
    Marco Dorigo
    Autonomous Robots, 2008, 24 : 49 - 67
  • [42] Fault detection in autonomous robots based on fault injection and learning
    Christensen, Anders Lyhne
    O'Grady, Rehan
    Birattari, Mauro
    Dorigo, Marco
    AUTONOMOUS ROBOTS, 2008, 24 (01) : 49 - 67
  • [43] An Automated Vulnerability Detection and Remediation Method for Software Security
    Jurn, Jeesoo
    Kim, Taeeun
    Kim, Hwankuk
    SUSTAINABILITY, 2018, 10 (05)
  • [44] A Component Based SQL Injection Vulnerability Detection Tool
    Aliero, Muhammmad Saidu
    Ghani, Imran
    2015 9TH MALAYSIAN SOFTWARE ENGINEERING CONFERENCE (MYSEC2015), 2015, : 224 - 229
  • [45] Vulnerability evaluation on 16 nm FinFET Ultrascale plus MPSoC using fault injection and proton irradiation
    Li, Yonghong
    Yang, Weitao
    Wang, Maocheng
    Li, Yang
    Guo, Yaxin
    Li, Pei
    Zhao, Haoyu
    He, Chaohui
    Wang, Di
    Yang, Ye
    Zhang, Xiaodong
    An, Heng
    MICROELECTRONICS RELIABILITY, 2022, 133
  • [46] Software security assessment through specification mutations and fault injection
    Kaksonen, R
    Laakso, M
    Takanen, A
    COMMUNICATIONS AND MULTIMEDIA SECURITY ISSUES OF THE NEW CENTURY, 2001, 64 : 174 - 183
  • [47] Experimental Assessment of Cloud Software Dependability Using Fault Injection
    Herscheid, Lena
    Richter, Daniel
    Polze, Andreas
    TECHNOLOGICAL INNOVATION FOR CLOUD-BASED ENGINEERING SYSTEMS, 2015, 450 : 121 - 128
  • [48] A PIN-Based Dynamic Software Fault Injection System
    Jin, Ang
    Jiang, Jianhui
    Hu, Jiawei
    Lou, Jungang
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 2160 - 2167
  • [49] Towards a Hardware Fault-Injection Testbed to Support Reproducible Resiliency Experiments
    Sass, Ron
    Sharma, Rahul R.
    DeBardeleben, Nathan
    RESILIENCE 2009: WORKSHOP ON RESILIENCY IN HIGH-PERFORMANCE COMPUTING, 2009, : 15 - 22
  • [50] Quantifying the Accuracy of High-Level Fault Injection Techniques for Hardware Faults
    Wei, Jiesheng
    Thomas, Anna
    Li, Guanpeng
    Pattabiraman, Karthik
    2014 44TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2014, : 375 - 382