New Results in Direct SAT-Based Cryptanalysis of DES-Like Ciphers.

Michal Chowaniec Miroslaw Kurkowski Michal Mazur

Published in: ACS (2018)

Keyphrases

block cipher
answer set programming
search space
lower bound
hash functions
stream cipher
bounded model checking
state space
np complete
orders of magnitude
scatter search