An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2017

An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries

Abstract

Fault injection has increasingly been used both to attack software applications, and to test system robustness. Detecting fault injection vulnerabilities has been approached with a variety of different but limited methods. This paper proposes an extension of a recently published general model checking based process to detect fault injection vulnerabilities in binaries. This new extension makes the general process scalable to real-world implementions which is demonstrated by detecting vulnerabilities in different cryptographic implementations.
Fichier principal
Vignette du fichier
main.pdf (330.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01629135 , version 1 (06-11-2017)

Identifiers

  • HAL Id : hal-01629135 , version 1

Cite

Thomas Given-Wilson, Annelie Heuser, Nisrine Jafri, Jean-Louis Lanet, Axel Legay. An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries. 2017. ⟨hal-01629135⟩
411 View
2683 Download

Share

Gmail Facebook X LinkedIn More