Michal Chowaniec, Miroslaw Kurkowski, Michal Mazur. New Results in Direct SAT-Based Cryptanalysis of DES-Like Ciphers. In Jerzy Pejas, Imed El Fray, Tomasz Hyla, Janusz Kacprzyk, editors, Advances in Soft and Hard Computing, Proceedings of the International Conference on Advanced Computer Systems, ACS 2018, Miȩdzyzdroje, Poland, 24-26 September 2018. Volume 889 of Advances in Intelligent Systems and Computing, pages 282-294, Springer, 2018. [doi]
Abstract is missing.