SAMVA: Static Analysis for Multi-fault Attack Paths Determination.
Antoine GicquelDamien HardyKarine HeydemannErven RohouPublished in: COSADE (2023)
Keyphrases
- static analysis
- fault injection
- java card
- dynamic analysis
- source code
- symbolic execution
- malicious code
- fault model
- shortest path
- fault diagnosis
- fault detection
- test generation
- regular expressions
- test suite
- countermeasures
- abstract interpretation
- database
- pattern matching
- data warehouse
- domain knowledge
- relational databases
- artificial intelligence