Soboń, Artur, Miroslaw Kurkowski, and Sylwia Stachowiak. 2020. “Complete SAT Based Cryptanalysis of RC5 Cipher”. Journal of Information and Organizational Sciences 44 (2). https://doi.org/10.31341/jios.44.2.10.