Combined software and hardware fault injection vulnerability detection

被引:13
|
作者
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 条
  • [21] Software Fault Injection Testing
    Voas, Jeffrey
    2022 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2022), 2022, : XIV - XIV
  • [22] On the emulation of software faults by software fault injection
    Madeira, H
    Costa, D
    Vieira, M
    DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2000, : 417 - 426
  • [23] COMBINED HARDWARE AND SOFTWARE AVAILABILITY.
    Haynes, Robert D.
    Thompson, William E.
    Proceedings of the Annual Reliability and Maintainability Symposium, 1981, : 365 - 337
  • [24] Study of the impact of hardware fault on software reliability
    Huang, Bing
    Li, Xiaojun
    Li, Ming
    Bernstein, Joseph
    Smidts, Carol
    16TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2005, : 63 - 72
  • [25] A HARDWARE AND SOFTWARE FAULT TOLERANT SAFETY CONTROLLER
    HECHT, H
    HECHT, M
    AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 975 - 979
  • [26] Hardware-Software Subsystem for Multilevel Thermal Fault Detection and Analysis of Electronic Components
    Petrosyants, Konstantin O.
    Kharitonov, Igor A.
    Ryabov, Nikita I.
    Kozynko, Petr A.
    Lvov, Boris G.
    2016 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2016,
  • [27] Experimental evaluation of hardware/software fault tolerance
    Gawkowski, P
    Sosnowski, J
    Anderson, E
    Zalewski, J
    PROGRAMMABLE DEVICES AND SYSTEMS, 2000, : 111 - 116
  • [28] A Fault Injection Framework for AI Hardware Accelerators
    Pappalardo, Salvatore
    Ruospo, Annachiara
    O'Connor, Ian
    Deveautour, Bastien
    Sanchez, Ernesto
    Bosio, Alberto
    2023 IEEE 24TH LATIN AMERICAN TEST SYMPOSIUM, LATS, 2023,
  • [29] A Holistic Fault Injection Platform for Neuromorphic Hardware
    Staudigl, Felix
    Fetz, Thorben
    Pelke, Rebecca
    Sisejkovic, Dominik
    Joseph, Jan Moritz
    Poehls, Leticia Bolzani
    Leupers, Rainer
    2023 IEEE 24TH LATIN AMERICAN TEST SYMPOSIUM, LATS, 2023,
  • [30] Quality of Fault Injection Strategies on Hardware Accelerator
    Guinebert, Iban
    Barrilado, Andres
    Delmas, Kevin
    Galtie, Franck
    Pagetti, Claire
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2022, 2022, 13414 : 222 - 236