| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT
Abstract : 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.
Cited literature [36 references]
https://hal.inria.fr/hal-01629098
Contributor : Thomas Given-Wilson <>
Submitted on : Monday, November 6, 2017 - 9:21:24 AM
Last modification on : Thursday, January 7, 2021 - 4:34:54 PM
Long-term archiving on: : Wednesday, February 7, 2018 - 1:27:09 PM
Contributor : Thomas Given-Wilson <>
Submitted on : Monday, November 6, 2017 - 9:21:24 AM
Last modification on : Thursday, January 7, 2021 - 4:34:54 PM
Long-term archiving on: : Wednesday, February 7, 2018 - 1:27:09 PM
File
PID4843765.pdf
Files produced by the author(s)