Formal verification of a software countermeasure against instruction skip attacks.
Nicolas MoroKarine HeydemannEmmanuelle EncrenazBruno RobissonPublished in: CoRR (2014)
Keyphrases
- formal verification
- countermeasures
- model checking
- program slicing
- bounded model checking
- computer software
- cryptographic protocols
- model checker
- automated verification
- symbolic model checking
- security risks
- power analysis
- software systems
- software quality
- automated reasoning
- software architecture
- rough sets
- security vulnerabilities
- source code