The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Fault attack vulnerability assessment of binary code
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
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.
@misc{brejon2019fault,
title = {Fault attack vulnerability assessment of binary code},
author = {Jean-Baptiste Bréjon and Karine Heydemann and Emmanuelle Encrenaz and Quentin Meunier and Son Tuan Vu},
year = {2019},
pages = {13--18},
doi = {10.1145/3304080.3304083},
}