A hierarchical formal approach to verifying side-channel resistant cryptographic processors.
Kotaro OkamotoNaofumi HommaTakafumi AokiSumio MoriokaPublished in: HOST (2014)
Keyphrases
- smart card
- parallel algorithm
- hierarchical structure
- parallel processing
- query processing
- coarse to fine
- hash functions
- multiprocessor systems
- formal specification
- information systems
- hierarchical clustering
- model checking
- formal model
- parallel computing
- formal methods
- high performance computing
- hierarchical model
- hierarchical classification
- hierarchical structures
- single processor
- encryption key