An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version
(2017)
Files
No attached file found for this publication.
Details
- Authors
Given-Wilson, Thomas 
- 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.
- Affiliations
Citations
Given-Wilson, T., Jafri, N., Lanet, J.-L., & Legay, A. (2017). An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version. https://hdl.handle.net/2078.5/173111