Skip to Main content Skip to Navigation
Conference papers

Fault attack vulnerability assessment of binary code

Abstract : Fault attacks are a major threat requiring to protect applications. We present a method and a set of metrics, implemented in a framework combining formal methods, dynamic and static analyses to evaluate the robustness of a binary code against fault attacks. The framework models the vulnerabilities detection as formal equivalence-checking problems that are solved by a SMT solver. It can support transient fault models targeting both data and code. Its application to programs hardened at source level shows its benefits for comparing different hardened versions, compilers and their optimizations, and for analyzing the sources of vulnerability.
Document type :
Conference papers
Complete list of metadata
Contributor : Karine Heydemann <>
Submitted on : Monday, June 24, 2019 - 9:03:31 AM
Last modification on : Tuesday, March 23, 2021 - 9:28:02 AM



Jean-Baptiste Bréjon, Karine Heydemann, Emmanuelle Encrenaz, Quentin L. Meunier, Son Tuan Vu. Fault attack vulnerability assessment of binary code. Cryptography and Security in Computing Systems (CS2’19), Jan 2019, Valencia, Spain. pp.13-18, ⟨10.1145/3304080.3304083⟩. ⟨hal-02163152⟩



Record views