Formal verification of a software countermeasure against instruction skip attacks.
Nicolas MoroKarine HeydemannEmmanuelle EncrenazBruno RobissonPublished in: J. Cryptogr. Eng. (2014)
Keyphrases
- formal verification
- countermeasures
- model checking
- program slicing
- computer software
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- power analysis
- software systems
- cryptographic protocols
- instructional design
- computer systems
- security risks
- expert systems
- software architecture
- information security
- user interface