TY  - JOUR
AU  - L. K. Babenko
AU  - E. A. Maro
TI  - Solving the problem of Boolean satisfiability for estimating the security of block ciphers Magma and PRESENT to algebraic cryptanalysis
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2017
SP  - 62
EP  - 64
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2017_10_a25/
LA  - ru
ID  - PDMA_2017_10_a25
ER  -