A statistical verification method of random permutations for hiding countermeasure against side-channel attacks.
Jong-Yeon ParkJang-Won JuWonil LeeBo-Gyeong KangYasuyuki KachiKouichi SakuraiPublished in: J. Inf. Secur. Appl. (2024)
Keyphrases
- verification method
- model checking
- temporal logic
- data driven
- statistical analysis
- genetic algorithm
- randomly generated
- information theoretic
- statistical methods
- hypothesis testing
- statistical information
- artificial intelligence
- statistical tests
- information retrieval
- statistical approaches
- statistical data
- uniformly distributed
- countermeasures
- evolutionary algorithm
- computer vision
- smart card
- information systems
- multi agent
- data structure
- probability distribution