Fault attack vulnerability assessment of binary code - Sorbonne Université Access content directly
Conference Papers Year : 2019

Fault attack vulnerability assessment of binary code


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.
No file

Dates and versions

hal-02163152 , version 1 (24-06-2019)



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⟩
191 View
0 Download



Gmail Facebook X LinkedIn More