An automated and scalable formal process for detecting fault injection vulnerabilities in binaries
Résumé
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.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...