An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries
Thomas Given-Wilson, Nisrine Jafri, Jean‐Louis Lanet, Axel Legay · 2017
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 methods, yielding varied results. This paper proposes a general process using model checking to detect fault injection vulnerabilities in binaries. The process is implemented and used to detect a variety of different kinds of fault injection vulnerabilities in binaries.