Formal Verification of Software Countermeasures against Side-Channel Attacks.
Hassan EldibChao WangPatrick SchaumontPublished in: ACM Trans. Softw. Eng. Methodol. (2014)
Keyphrases
- countermeasures
- formal verification
- information security
- model checking
- program slicing
- smart card
- automated verification
- power analysis
- symbolic model checking
- bounded model checking
- model checker
- software development
- rural areas
- software systems
- case study
- source code
- block cipher
- java card
- intrusion detection
- supervised learning
- reinforcement learning
- database
- defense mechanisms