A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs.
Pengfei GaoHongyi XieFu SongTaolue ChenPublished in: ACM Trans. Softw. Eng. Methodol. (2021)
Keyphrases
- formal verification
- higher order
- program slicing
- model checking
- model checker
- bounded model checking
- symbolic model checking
- high order
- natural images
- automated verification
- pairwise
- conditional random fields
- markov random field
- lower order
- low order
- arithmetic operations
- computer programs
- formal methods
- formal specification
- temporal logic