A compositional methodology to harden programs against multi-fault attacks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

A compositional methodology to harden programs against multi-fault attacks

Etienne Boespflug
  • Fonction : Auteur
Laurent Mounier
  • Fonction : Auteur
Marie-Laure Potet
  • Fonction : Auteur
Abderrahmane Bouguern
  • Fonction : Auteur

Résumé

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 multifault 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 multifault 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.
Fichier principal
Vignette du fichier
fdtc.pdf (331.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04231496 , version 1 (06-10-2023)

Identifiants

  • HAL Id : hal-04231496 , version 1

Citer

Etienne Boespflug, Laurent Mounier, Marie-Laure Potet, Abderrahmane Bouguern. A compositional methodology to harden programs against multi-fault attacks. FDTC 2023: Workshop on Fault Diagnosis and Tolerance in Cryptography 2023, Sep 2023, Prague (hybride), Czech Republic. ⟨hal-04231496⟩
21 Consultations
53 Téléchargements

Partager

Gmail Facebook X LinkedIn More