Soboń, A., Kurkowski, M., & Stachowiak, S. (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