%0 Journal Article
%A I. V. Otpuschennikov
%A A. A. Semenov
%A O. S. Zaikin
%T Propositional encoding of direct and inverse round transformations in attacks on some block ciphers
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2018
%P 76-79
%N 11
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2018_11_a23/
%G ru
%F PDMA_2018_11_a23