SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition.
Ashutosh Dhar DwivediMilos KloucekPawel MorawieckiIvica NikolicJosef PieprzykSebastian WójtowiczPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- block cipher
- stream cipher
- hash functions
- secret key
- answer set programming
- authentication scheme
- ai planning
- bounded model checking
- sat solvers
- s box
- key distribution
- version space
- scatter search
- key exchange protocol
- constraint solver
- answer sets
- planning problems
- planning domains
- image encryption
- key agreement protocol
- linear constraints
- constraint satisfaction
- key exchange
- metaheuristic
- support vector
- learning algorithm