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.
A Compositional Methodology to Harden Programs Against Multi-Fault Attacks
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 consist in changing the program behavior by injecting faults at run-time in order to break some expected security properties. Applications are hardened against fault attack by adding countermeasures. According to the state of the art, applications must now be protected against multi-fault injection [23], [33]. As a consequence developing applications which are robust becomes a very challenging task, in particular because countermeasures can be also the target of attacks [4], [20]. The aim of this paper is to propose an assisted methodology for developers allowing to harden an application against multi-fault attacks, addressing several aspects: how to identify which parts of the code should be protected and how to choose and place the appropriate countermeasures, giving guarantees on the robustness of the protected program.
@misc{boespflug2023compositional,
title = {A Compositional Methodology to Harden Programs Against Multi-Fault Attacks},
author = {Etienne Boespflug and Laurent Mounier and Marie-Laure Potet and Abderrahmane Bouguern},
year = {2023},
journal = {Workshop on Fault Detection and Tolerance in Cryptography (FDTC)},
pages = {24--35},
doi = {10.1109/fdtc60478.2023.00012},
}