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 条
  • [31] When Fault Injection Collides with Hardware Complexity
    Sebanjila, Kevin Bukasa
    Claudepierre, Ludovic
    Lashermes, Ronan
    Lanet, Jean-Louis
    FOUNDATIONS AND PRACTICE OF SECURITY, FPS 2018, 2019, 11358 : 243 - 256
  • [32] VIGILANT: Vulnerability Detection Tool Against Fault-Injection Attacks for Locking Techniques
    Mankali, Likhitha
    Patnaik, Satwik
    Limaye, Nimisha
    Knechtel, Johann
    Sinanoglu, Ozgur
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (11) : 3571 - 3584
  • [33] Jaca - A software fault injection tool
    Moraes, RLD
    Martins, E
    2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2003, : 667 - 667
  • [34] Software fault injection in concurrent systems
    Wen, W
    Schneider, F
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 2378 - 2383
  • [35] On-line fault detection in a hardware/software co-design environment: System partitioning
    Bolchini, C
    Pomante, L
    Salice, F
    Sciuto, D
    ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2001, : 51 - 56
  • [36] RELIABILITY TECHNIQUES FOR COMBINED HARDWARE SOFTWARE SYSTEMS
    FRIEDMAN, MA
    TRAN, P
    PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1992, (SYM): : 290 - 293
  • [37] Combined software and hardware comprehension in reverse engineering
    LaRoche, P
    Cox, A
    11TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2004, : 234 - 243
  • [38] COMBINED HARDWARE SOFTWARE-RELIABILITY MODELS
    ANGUS, JE
    JAMES, LE
    PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1982, (NSYM): : 176 - 181
  • [39] COMBINED HARDWARE SOFTWARE-RELIABILITY PREDICTIONS
    FIORENTINO, E
    SOISTMAN, EC
    PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1985, (NSYM): : 169 - 176
  • [40] Expert system hardware for fault detection
    Gómez, MR
    Ventosa, JE
    Aramendía, GA
    APPLIED INTELLIGENCE, 1998, 9 (03) : 245 - 262