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]
@inproceedings{ChowaniecKM18,
title = {New Results in Direct SAT-Based Cryptanalysis of DES-Like Ciphers},
author = {Michal Chowaniec and Miroslaw Kurkowski and Michal Mazur},
year = {2018},
doi = {10.1007/978-3-030-03314-9_25},
url = {https://doi.org/10.1007/978-3-030-03314-9_25},
researchr = {https://researchr.org/publication/ChowaniecKM18},
cites = {0},
citedby = {0},
pages = {282-294},
booktitle = {Advances in Soft and Hard Computing, Proceedings of the International Conference on Advanced Computer Systems, ACS 2018, Miȩdzyzdroje, Poland, 24-26 September 2018},
editor = {Jerzy Pejas and Imed El Fray and Tomasz Hyla and Janusz Kacprzyk},
volume = {889},
series = {Advances in Intelligent Systems and Computing},
publisher = {Springer},
isbn = {978-3-030-03314-9},
}