Detecting Fault Injection Attacks with Runtime Verification

Ali Kassem, Yliès Falcone

Fault injections are increasingly used to attack/test secure applications. In this paper, we define formal models of runtime monitors that can detect fault injections that result i…