Formal Verification of Masking Countermeasures for Arithmetic Programs.
Pengfei GaoPublished in: ASE (2020)
Keyphrases
- countermeasures
- formal verification
- program slicing
- model checking
- information security
- model checker
- bounded model checking
- automated verification
- rural areas
- symbolic model checking
- java card
- security measures
- information technology
- information systems
- power analysis
- cyber attacks
- traffic accidents
- temporal logic
- reinforcement learning