Fault attack vulnerability assessment of binary code - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Fault attack vulnerability assessment of binary code

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
226 Consultations
0 Téléchargements

Altmetric

Partager

More