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