An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT - Chaire Cybersécurité sur l'analyse de la menace Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT

Résumé

Recently 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 a general process without these limitations that uses model checking to detect fault injection vulnerabilities in binaries. The efficacy of this process is demonstrated by detecting vulnerabilities in the PRESENT binary.
Fichier principal
Vignette du fichier
PID4843765.pdf (139.15 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay. An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. 2017 IEEE Trustcom/BigDataSE/ICESS, Aug 2017, Sydney, Australia. pp.293 - 300, ⟨10.1109/Trustcom/BigDataSE/ICESS.2017.250⟩. ⟨hal-01629098⟩
236 Consultations
291 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More