Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities
Origine : Fichiers produits par l'(les) auteur(s)