Algebraic Cryptanalysis of Present Based on the Method of Syllogisms

Lacko-Bartošová, Lucia

doi:10.2478/v10127-012-0047-3

Abstract

In this paper algebraic cryptanalysis of block cipher Present based on the method of syllogisms is presented. Different guessing strategies of the method of syllogisms were used and significantly different complexities of attack were reached.

References

[1] ADAMˇCEK, P. - LODERER, M. - ZAJAC, P.: A comparison of local reduction andSAT-solver based algebraic cryptanalysis of JH and KECCAK, 2012 (preprint).10.2478/v10127-012-0036-6
Search in Google Scholar
[2] BARD, G. V.: Algebraic Cryptanalysis. Springer, Dordrecht, 2009.10.1007/978-0-387-88757-9
Search in Google Scholar
[3] BOGDANOV,A.-KNUDSEN,L.R.-LEANDER,G.-PAAR,C.-POSCHMANN,A. - -ROBSHAW, M. J. B.-SEURIN, Y.-VIKKELSOE, C.: PRESENT:An ultra-light--weight block cipher, in: Proc. Cryptographic Hardware and Embedded Systems- -CHES ’07, The 9th International Workshop, Vienna, Austria, September 10-13, 2007, Lecture Notes in Comput. Sci., Vol. 4727, 2007, pp. 450-466.
Search in Google Scholar
[4] ECRYPT II, EUROPEAN NETWORK OF EXCELLENCE IN CRYPTOLOGY II: Reporton “Lightweight Cryptographic Algorithms”, 2010, www.ecrypt.eu.org/documents/D.SYM.5.pdf.
Search in Google Scholar
[5] GROˇSEK, O. - VOJVODA, M. - KRCHNAV´Y, R.: A new matrix test for randomness, Computing 85 (2009), 21-36.10.1007/s00607-009-0033-z
Search in Google Scholar
[6] CHO, J. Y.: Linear cryptanalysis of reduced-round PRESENT CT-RSA, Lecture Notes in Comput. Sci., Vol. 5985, Springer, New York, 2010, pp. 302-317.
Search in Google Scholar
[7] NAKAHARA, J. - SEPEHRDAD, P. - ZHANG, B. - WANG, M.: Linear (hull) andalgebraic cryptanalysis of the block cipher PRESENT Proceedings of The 8th International Conference on Cryptology and Network Security, CANS ’09, Springer, New York, 2009, pp. 58-75.10.1007/978-3-642-10433-6_5
Search in Google Scholar
[8] OHKUMA, K.: Weak keys of reduced-round PRESENT for linear cryptanalysis, Selected Areas in Cryptography, Lecture Notes in Comput. Sci., Vol. 5867, Springer, New York, 2009, pp. 249-265.
Search in Google Scholar
[9] RADDUM, H.-SEMAEV, I.: New technique for solving sparse equation systems, Technical Report, Cryptology ePrint Archive, 2006.
Search in Google Scholar
[10] ZAJAC, P.: On the use of the method of syllogisms in algebraic cryptanalysis, in: Proc. of The 1st Plenary Conference of the NIL-I-004, Bergen 2009, pp. 21-30.
Search in Google Scholar
[11] ZAJAC, P.: Solving trivium-based Boolean equations using the method of syllogisms, Fund.
Search in Google Scholar
Inform. 114 (2012), 2012, 359-373.10.3233/FI-2012-635
Search in Google Scholar
[12] ZAJAC, P.: Use of the local reduction in experimental evaluation of the block ciphersecurity 2012 (preprint).
Search in Google Scholar
[13] ZAJAC, P. - ˇCAGALA, R.: Local reduction and the algebraic cryptanalysis of the blockcipher GOST, Period. Math. Hungar. 65 (2012), 239-255.10.1007/s10998-012-6376-9
Search in Google Scholar
[14] ZAKREVSKIJ, A. - VASILKOVA, I.: Reducing large systems of Boolean equations, The 4th International Workshop on Boolean Problems, September 21-22, 2000, Freiberg, Germany, pp. 21-28.
Search in Google Scholar

Algebraic Cryptanalysis of Present Based on the Method of Syllogisms

Abstract

Paradigm

My account