%0 Journal Article
%A L. K. Babenko
%A E. A. Maro
%T Solving the problem of Boolean satisfiability for estimating the security of block ciphers Magma and PRESENT to algebraic cryptanalysis
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2017
%P 62-64
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2017_10_a25/
%G ru
%F PDMA_2017_10_a25