%0 Journal Article
%A I. A. Gribanova
%T Application of solving SAT algorithms to constructing differential paths for finding collisions of cryptographic hash functions in the MD family
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2016
%P 129-132
%N 9
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2016_9_a50/
%G ru
%F PDMA_2016_9_a50