Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors.
Rei UenoNaofumi HommaTakafumi AokiSumio MoriokaPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2017)
Keyphrases
- formal verification
- model checking
- model checker
- parallel algorithm
- bounded model checking
- automated verification
- parallel processing
- cryptographic protocols
- symbolic model checking
- hierarchical structure
- temporal logic
- program slicing
- smart card
- formal specification
- multiprocessor systems
- artificial intelligence
- heuristic search
- image registration