An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT
(2017) 2017 IEEE Trustcom/BigDataSE/ICESS — Location: Sydney, Australia (1.August.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. 2017 IEEE Trustcom/BigDataSE/ICESS. Published. 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia. https://doi.org/10.1109/Trustcom/BigDataSE/ICESS.2017.250