SAT-Based Cryptanalysis of Salsa20 Cipher.
Sylwia StachowiakMiroslaw KurkowskiArtur SobonPublished in: CORES/IP&C/ACS (2021)
Keyphrases
- block cipher
- secret key
- stream cipher
- bounded model checking
- answer set programming
- hash functions
- sat solvers
- ranking algorithm
- ciphertext
- constraint solver
- version space
- s box
- ai planning
- boolean satisfiability
- planning domains
- lightweight
- sat encodings
- answer sets
- scatter search
- public key
- classical planning
- state space
- planning problems
- smart card
- logic programs
- integer programming
- model checking