SAT-based cryptanalysis of ACORN.
Frédéric LafitteLiran LermanOlivier MarkowitchDirk Van HeulePublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- bounded model checking
- answer set programming
- sat solvers
- information sharing
- scatter search
- constraint solver
- version space
- ai planning
- secret key
- hash functions
- boolean satisfiability
- planning problems
- answer sets
- logic programs
- formal verification
- signature scheme
- planning domains
- model checking
- temporal logic
- classical planning
- constraint programming
- constraint logic programming
- heuristic search
- metaheuristic
- plan quality
- optimal solution