| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [35 references]
https://hal.inria.fr/hal-01629135
Contributor : Thomas Given-Wilson <>
Submitted on : Monday, November 6, 2017 - 9:59:43 AM
Last modification on : Thursday, January 7, 2021 - 4:29:46 PM
Long-term archiving on: : Wednesday, February 7, 2018 - 1:17:01 PM
Contributor : Thomas Given-Wilson <>
Submitted on : Monday, November 6, 2017 - 9:59:43 AM
Last modification on : Thursday, January 7, 2021 - 4:29:46 PM
Long-term archiving on: : Wednesday, February 7, 2018 - 1:17:01 PM
File
main.pdf
Files produced by the author(s)