Skip to Main content Skip to Navigation
Journal articles

An automated and scalable formal process for detecting fault injection vulnerabilities in binaries

Abstract : Fault injection has increasingly been used both to attack software applications, and to test system robustness. Detecting fault injection vulnerabilities has been approached with a variety of different but limited methods. This paper proposes an extension of a recently published general model checking based process to detect fault injection vulnerabilities in binaries. This new extension makes the general process scalable to real-world implementions which is demonstrated by detecting vulnerabilities in different cryptographic implementations.
Document type :
Journal articles
Complete list of metadatas

Cited literature [37 references]  Display  Hide  Download

https://hal.inria.fr/hal-01960940
Contributor : Nisrine Jafri <>
Submitted on : Wednesday, December 19, 2018 - 4:51:48 PM
Last modification on : Saturday, July 11, 2020 - 3:16:16 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Thomas Given-Wilson, Annelie Heuser, Nisrine Jafri, Axel Legay. An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. Concurrency and Computation: Practice and Experience, Wiley, 2018, pp.1-12. ⟨10.1002/cpe.4794⟩. ⟨hal-01960940v2⟩

Share

Metrics

Record views

155

Files downloads

435