Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Contributeur MAP CEA : Connectez-vous pour contacter le contributeur
https://cea.hal.science/cea-03499614
Soumis le : mardi 21 décembre 2021-15:00:05
Dernière modification le : mercredi 15 mai 2024-13:42:16
Archivage à long terme le : mercredi 23 mars 2022-10:16:57