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