Качко, Е. and Телевный, Д. (2017) “A study of the applicability of the SMT/SAT-based theorem proves for Keccak hash functions cryptanalysis”, Radiotekhnika, 2(189), pp. 75–80. Available at: http://rt.nure.ua/article/view/183315 (Accessed: 26July2024).