Algebraic Cryptanalysis of Present Based on the Method of Syllogisms

[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-6Search in Google Scholar

[2] BARD, G. V.: Algebraic Cryptanalysis. Springer, Dordrecht, 2009.10.1007/978-0-387-88757-9Search 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-zSearch 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_5Search 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-635Search 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-9Search 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