Skip to Main content Skip to Navigation
Book sections

The State of Fault Injection Vulnerability Detection

Abstract : 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.
Document type :
Book sections
Complete list of metadata

Cited literature [42 references]  Display  Hide  Download
Contributor : Nisrine Jafri <>
Submitted on : Wednesday, December 19, 2018 - 4:17:15 PM
Last modification on : Thursday, January 7, 2021 - 4:34:31 PM
Long-term archiving on: : Thursday, March 21, 2019 - 2:34:00 AM


Files produced by the author(s)



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⟩



Record views


Files downloads