КАЧКО, Е.; ТЕЛЕВНЫЙ, Д. A study of the applicability of the SMT/SAT-based theorem proves for Keccak hash functions cryptanalysis. Radiotekhnika, [S. l.], v. 2, n. 189, p. 75–80, 2017. Disponível em: http://rt.nure.ua/article/view/183315. Acesso em: 30 aug. 2024.