Geodesic
Propositional encoding of direct and inverse round transformations in attacks on some block ciphers
Prikladnaya Diskretnaya Matematika. Supplement, no. 11 (2018), pp. 76-79

Voir la notice de l'article provenant de la source Math-Net.Ru

We suggest an attack on block ciphers, which is based on the well-known meet-in-the-middle strategy. To solve the corresponding cryptanalysis equations, algorithms for solving the Boolean satisfiability problem (SAT) are used. The main know-how consists in the usage in the propositional encoding of the considered cipher not only information about direct round transformations, but also information about inverse round transformations. Using the suggested type of encodings, we have constructed runtime estimations of guess-and-determine attacks on several block ciphers with reduced number of rounds ($6$-round DES, $6$-round PRESENT, $6$-round and $8$-round GOST 28147-89). It turned out that in some cases these attacks are several times more effective than attacks, in which standard methods of propositional encodings are used.
Keywords: block cipher, GOST 28147-89, PRESENT, Boolean satisfiability problem.
Mots-clés : DES 
@article{PDMA_2018_11_a23,
     author = {I. V. Otpuschennikov and A. A. Semenov and O. S. Zaikin},
     title = {Propositional encoding of direct and inverse round transformations in attacks on some block ciphers},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {76--79},
     publisher = {mathdoc},
     number = {11},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2018_11_a23/}
}
TY  - JOUR
AU  - I. V. Otpuschennikov
AU  - A. A. Semenov
AU  - O. S. Zaikin
TI  - Propositional encoding of direct and inverse round transformations in attacks on some block ciphers
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2018
SP  - 76
EP  - 79
IS  - 11
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2018_11_a23/
LA  - ru
ID  - PDMA_2018_11_a23
ER  - 
%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
I. V. Otpuschennikov; A. A. Semenov; O. S. Zaikin. Propositional encoding of direct and inverse round transformations in attacks on some block ciphers. Prikladnaya Diskretnaya Matematika. Supplement, no. 11 (2018), pp. 76-79. http://geodesic.mathdoc.fr/item/PDMA_2018_11_a23/