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).
- [2] BARD, G. V.: Algebraic Cryptanalysis. Springer, Dordrecht, 2009.
- [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.
- [4] ECRYPT II, EUROPEAN NETWORK OF EXCELLENCE IN CRYPTOLOGY II: Reporton “Lightweight Cryptographic Algorithms”, 2010, www.ecrypt.eu.org/documents/D.SYM.5.pdf.
- [5] GROˇSEK, O. - VOJVODA, M. - KRCHNAV´Y, R.: A new matrix test for randomness, Computing 85 (2009), 21-36.
- [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.
- [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.
- [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.
- [9] RADDUM, H.-SEMAEV, I.: New technique for solving sparse equation systems, Technical Report, Cryptology ePrint Archive, 2006.
- [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.
- [11] ZAJAC, P.: Solving trivium-based Boolean equations using the method of syllogisms, Fund.
- Inform. 114 (2012), 2012, 359-373.
- [12] ZAJAC, P.: Use of the local reduction in experimental evaluation of the block ciphersecurity 2012 (preprint).
- [13] ZAJAC, P. - ˇCAGALA, R.: Local reduction and the algebraic cryptanalysis of the blockcipher GOST, Period. Math. Hungar. 65 (2012), 239-255.
- [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.