A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs.
Pengfei GaoHongyi XieFu SongTaolue ChenPublished in: CoRR (2020)
Keyphrases
- formal verification
- higher order
- program slicing
- model checking
- high order
- bounded model checking
- symbolic model checking
- automated verification
- model checker
- natural images
- arithmetic operations
- functional verification
- low order
- computer programs
- lower order
- temporal logic
- markov random field
- pairwise
- lambda calculus
- conditional random fields
- open source