Formal verification of a software countermeasure against instruction skip attacks.
Karine HeydemannNicolas MoroEmmanuelle EncrenazBruno RobissonPublished in: IACR Cryptol. ePrint Arch. (2013)
Keyphrases
- formal verification
- countermeasures
- program slicing
- model checking
- computer software
- bounded model checking
- automated verification
- model checker
- symbolic model checking
- cryptographic protocols
- computer technology
- software systems
- test cases
- source code
- expert systems
- watermarking scheme
- artificial intelligence
- temporal logic
- computer systems
- open source
- programming language