%0 Journal Article
%A O. S. Zaikin
%A V. V. Davydov
%A A. P. Kiryanova
%T SAT-based analysis of SHA-3 competition finalists
%J Numerical methods and programming
%D 2024
%P 259-273
%V 25
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMP_2024_25_3_a1/
%G ru
%F VMP_2024_25_3_a1