Качко, Е.; Телевный, Д. A Study of the Applicability of the SMT/SAT-Based Theorem Proves for Keccak Hash Functions Cryptanalysis. RT 2017, 2, 75-80.