Formal Verification of Masking Countermeasures for Arithmetic Programs.
Pengfei GaoHongyi XiePu SunJun ZhangFu SongTaolue ChenPublished in: IEEE Trans. Software Eng. (2022)
Keyphrases
- countermeasures
- formal verification
- program slicing
- model checking
- information security
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- power analysis
- temporal logic
- human visual system
- java card
- real world
- security measures
- rural areas
- cyber attacks
- description language
- open source
- data warehouse
- association rules
- databases
- information warfare