Качко Е, Телевный Д. A study of the applicability of the SMT/SAT-based theorem proves for Keccak hash functions cryptanalysis. RT [Internet]. 2017Jun.30 [cited 2024Jul.26];2(189):75-80. Available from: http://rt.nure.ua/article/view/183315