Качко, Е. and Телевный, Д. 2017. A study of the applicability of the SMT/SAT-based theorem proves for Keccak hash functions cryptanalysis. Radiotekhnika. 2, 189 (Jun. 2017), 75–80.