Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks.
Artem PavlenkoMaxim BuzdalovVladimir UlyantsevPublished in: GECCO (2019)
Keyphrases
- security protocols
- statistical analysis
- genetic algorithm
- evolutionary algorithm
- differential power analysis
- countermeasures
- statistical tests
- fault injection
- bounded model checking
- sat solvers
- answer set programming
- test cases
- stream cipher
- cryptographic algorithms
- genetic programming
- statistical methods
- smart card
- cryptographic protocols