An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries
Résumé
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...