Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
Guilhem Lacombe, David Feliot, Etienne Boespflug, Marie-Laure Potet
Topics & Concepts
ToolchainComputer scienceFault injectionSymbolic executionStatic analysisModel checkingContext (archaeology)AuditExploitExecution timeDistributed computingEmbedded systemComputer securityProgramming languageSoftwareManagementBiologyPaleontologyEconomicsAdvanced Malware Detection TechniquesSecurity and Verification in ComputingNetwork Security and Intrusion Detection