The State of Fault Injection Vulnerability Detection - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2018

The State of Fault Injection Vulnerability Detection


Fault injection is a well known method to test the robustness and security vulnerabilities of software. Fault injections can be explored by simulations (cheap, but not validated) and hardware experiments (true, but very expensive). Recent simulation works have started to apply formal methods to the detection, analysis, and prevention of fault injection attacks to address verifiability. However, these approaches are ad-hoc and extremely limited in architecture, fault model, and breadth of application. Further, there is very limited connection between simulation results and hardware experiments. Recent work has started to consider broad spectrum simulation approaches that can cover many fault models and relatively large programs. Similarly the connection between these broad spectrum simulations and hardware experiments is being validated to bridge the gap between the two approaches. This presentation highlights the latest developments in applying formal methods to fault injection vulnerability detection, and validating software and hardware results with one another.
Fichier principal
Vignette du fichier
main.pdf (245.11 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01960915 , version 1 (19-12-2018)



Thomas Given-Wilson, Nisrine Jafri, Axel Legay. The State of Fault Injection Vulnerability Detection. Verification and Evaluation of Computer and Communication Systems, pp.3-21, 2018, 978-3-030-00358-6. ⟨10.1007/978-3-030-00359-3_1⟩. ⟨hal-01960915⟩
91 View
1082 Download



Gmail Mastodon Facebook X LinkedIn More