Качко, Е.Г., and Д.К. Телевный. 2017. “A Study of the Applicability of the SMT/SAT-Based Theorem Proves for Keccak Hash Functions Cryptanalysis”. Radiotekhnika 2 (189):75-80. http://rt.nure.ua/article/view/183315.