SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition.
Ashutosh Dhar DwivediMilos KloucekPawel MorawieckiIvica NikolicJosef PieprzykSebastian WójtowiczPublished in: SECRYPT (2017)
Keyphrases
- block cipher
- stream cipher
- secret key
- hash functions
- authentication scheme
- key distribution
- answer set programming
- bounded model checking
- sat solvers
- ai planning
- version space
- s box
- constraint solver
- image encryption
- planning problems
- lightweight
- password based authenticated key exchange
- key exchange
- boolean satisfiability
- planning domains
- model checking