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

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]

Authors

Michal Chowaniec

This author has not been identified. Look up 'Michal Chowaniec' in Google

Miroslaw Kurkowski

This author has not been identified. Look up 'Miroslaw Kurkowski' in Google

Michal Mazur

This author has not been identified. Look up 'Michal Mazur' in Google