Algebraic immunity for cryptographically significant Boolean functions: Analysis and construction

IEEE Transactions on Information Theory

Volumn 52, Issue 7, 2006, Pages 3105-3121

  Carlet, Claude ^a,b   Dalai, Deepak Kumar ^c   Gupta, Kishan Chand ^d   Maitra, Subhamoy ^c  

^a INRIA   (France)

^b UNIVERSITÉ PARIS 8   (France)

^c INDIAN STATISTICAL INSTITUTE   (India)

^d UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Algebraic attacks; Annihilators; Boolean functions; Nonlinearity; Stream ciphers; Walsh spectrum

Indexed keywords

ALGEBRA; BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; CRYPTOGRAPHY; MATHEMATICAL TRANSFORMATIONS; NONLINEAR EQUATIONS; POLYNOMIALS;

ALGEBRAIC ATTACKS; ALGEBRAIC IMMUNITY; STREAM CIPHERS; WALSH SPECTRUM;

INFORMATION THEORY;

EID: 33746350122     PISSN: 00189448     EISSN: None     Source Type: Journal    
DOI: 10.1109/TIT.2006.876253     Document Type: Article

References (51)

1. F. Armknecht, C. Carlet, P. Gaborit, S. Kuenzli, W. Meier, and O. Ruatta, "Efficient computation of algebraic immunity for algebraic and fast algebraic attacks," in Proc. EUROCRYPT 2006 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2006, vol. 4004, pp. 147-164.
2. F. Armknecht and M. Krause, "Algebraic attacks on combiners with memory," in Advances in Cryptology - CRYPTO 2003 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2003, vol. 2729, pp. 162-175.
3. F. Armknecht, "Improving fast algebraic attacks," in Proc. Workshop on Fast Software Encryption (Lecture Notes in Computer Science . Berlin, Germany: Springer-Verlag, 2004, vol. 3017, pp. 65-82.
4. L. M. Batten, "Algebraic attacks over GF(q)," in Progress in Cryptology - INDOCRYPT 2004 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag,, 2004, vol. 3348, pp. 84-91.
5. A. Botev, "On algebraic immunity of some recursively given sequence of correlation immune functions," in Proceedings of XV International Workshop on Synthesis and Complexity of Control Systems (in Russian), Novosibirsk, Oct. 18-23, 2004, pp. 8-12.
6. A. Botev, "On algebraic immunity of new constructions of filters with high nonlinearity," in Proce. VI Int. Conf. Discrete Models in the Theory of Control Systems (in Russian), Moscow, Russia, Dec. 2004, pp. 227-230.
7. A. Botev and Y. Tarannikov, "Lower bounds on algebraic immunity for recursive constructions of nonlinear filters," Preprint, 2004.
8. A. Braeken, J. Lano, N. Mentens, B. Preneel, and I. Verbauwhede, "SFINKS: A synchronous stream cipher for restricted hardware environments," in Proc. SKEW - Symmetric Key Encryption Workshop, Aarhus, Denmark, May 2005.
9. A. Braeken, J. Lano, and B. Preneel, "Evaluating the resistance of filters and combiners against fast algebraic attacks," Eprint on ECRYPT, 2005.
10. A. Braeken and B. Preneel, "On the algebraic immunity of symmetric Boolean functions," in Indocrypt 2005 (Lecture Notes in Computer Science), Jul. 26, 2005, vol. 3797, pp. 35-48 [Online]. Available: http://eprint.iacr.org/
11. P. Camion, C. Carlet, P. Charpin, and N. Sendrier, "On correlation-immune functions," in Advances in Cryptology: Crypto '91, Proceedings (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 1991, vol. 576, pp. 86-100.
12. A. Canteaut and M. Trabbia, "Improved fast correlation attacks using parity-check equations of weight 4 and 5," in EUROCRYPT 2000 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2000, vol. 1807, pp. 573-588.
13. C. Carlet, "Recent results on binary bent functions," J. Comb., Inf., System Sci. (Proc. Int. Conf. Combinatorics, Information Theory and Statistics), vol. 25, pp. 133-149, 2000.
14. C. Carlet, "A larger class of cryptographic Boolean functions via a study of the Maiorana-McFarland construction," in Advances in Cryptology - CRYPTO 2002 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2002, vol. 2442, pp. 549-564.
15. C. Carlet, "On the secondary constructions of resilient and bent functions," in Progress in Computer Science and Applied Logic, K. Feng, H. Niederreiter, and C. Xing, Eds. Cambridge, MA: Birkhäser, 2004, vol. 23, pp. 3-28.
16. C. Carlet, "On bent and highly nonlinear balanced/resilient functions and their algebraic immunities," in Proc. AAECC 16 (Lecture Notes in Computer Science), Las Vegas, NV, 2006, vol. 3857, pp. 1-28.
17. C. Carlet, "Concatenating indicators of flats for designing cryptographic functions," Des., Codes Cryptogr., vol. 36, no. 2, pp. 189-202, 2005.
18. C. Carlet, "On the higher order nonlinearities of algebraic immune functions," in Proc. CRYPTO 2006 (Lecture Notes in Computer Science, to be published.
19. C. Carlet, "Boolean functions for cryptography and error correcting codes," in Boolean Methods and Models. Cambridge, U.K.: Cambridge Univ. Press, 2006, (A preliminary version is available at http:// www-rocq.inria.fr/codes/Claude.Carlet/pubs.html.), to be published.
20. C. Carlet and P. Gaborit, "On the construction of balanced Boolean functions with a good algebraic immunity," in Proc. BFCA (1st Workshop on Boolean Functions: Cryptography and Applications), Rouen, France, Mar. 2005, pp. 1-14.
21. J. H. Cheon and D. H. Lee, "Resistance of S-boxes against algebraic attacks," in Workshop on Fast Software Encryption (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag,, 2004, vol. 3017,, pp. 83-94.
22. J. Y. Cho and J. Pieprzyk, "Algebraic attacks on SOBER-t32 and SOBER-128," in Workshop on Fast Software Encryption (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2004, vol. 3017, pp. 49-64.
23. N. Courtois and J. Pieprzyk, "Cryptanalysis of block ciphers with overdefined systems of equations," in Advances in Cryptology - ASIACRYPT 2002 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2002, vol. 2501,, pp. 267-287.
24. N. Courtois and W. Meier, "Algebraic attacks on stream ciphers with linear feedback," in Advances in Cryptology - EUROCRYPT 2003 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2003, vol. 2656, pp. 345-359.
25. N. Courtois, "Fast algebraic attacks on stream ciphers with linear feedback," in Advances in Cryptology - CRYPTO 2003 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2003, vol. 2729, pp. 176-194.
26. N. Courtois, "Cryptanalysis of SFINKS," in Proc. ICISC 2005, 2005, vol. 3935, Lecture Notes in Computer Science [Online]. Available: http://eprint.iacr.org/
27. D. K. Dalai, K. C. Gupta, and S. Maitra, "Results on algebraic immunity for cryptographically significant Boolean functions," in Indocrypt 2004 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2004, vol. 3348, pp. 92-106.
28. D. K. Dalai, K. C. Gupta, and S. Maitra, "Cryptographically significant Boolean functions: Construction and analysis in terms of algebraic immunity," in Workshop on Fast Software Encryption (FSE 2005) (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2005, vol. 3557, pp. 98-111.
29. D. K. Dalai, S. Maitra, and S. Sarkar, "Basic theory in construction of Boolean functions with maximum possible annihilator immunity," Des. Codes, Cryptogr., vol. 40, no. 1, pp. 41-58, Jul. 2006, Also, avaialable [Online] at http://eprint.iacr.org/.
30. D. K. Dalai, K. C. Gupta, and S. Maitra, "Notion of algebraic immunity and its evaluation related to fast algebraic attacks," in Proc. 2nd Int. Workshop on Boolean Functions: Cryptography and Applications (BFCA 2006), Rouen, France, Mar. 2006 [Online]. Available: Eprint.iacr.org
31. C. Ding, G. Xiao, and W. Shan, The Stability Theory of Stream Ciphers (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 1991, vol. 561.
32. E. Filiol and C. Fontaine, "Highly nonlinear balanced Boolean functions with a good correlation-immunity," in Advances in Cryptology - EUROCRYPT'98 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 1998.
33. M. Hell, A. Maximov, and S. Maitra, "On efficient implementation of search strategy for rotation symmetric Boolean functions," in Proc. 9th Int. Workshop on Algebraic and Combinatorial Coding Theory (ACCT 2004), Kraveno, Bulgaria, Jun. 2004.
34. T. Johansson and F. Jönsson, "Fast correlation attacks through reconstruction of linear polynomials," in Advances in Cryptology - CRYPTO 2000 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2000, vol. 1880, pp. 300-315.
35. D. H. Lee, J. Kim, J. Hong, J. W. Han, and D. Moon, "Algebraic attacks on summation generators," in Workshop on Fast Software Encryption (FSE 2004) (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2004, vol. 3017, pp. 34-48.
36. M. Lobanov, Tight Bound Between Nonlinearity and Algebraic Immunity [Online]. Available: http://eprint.iacr.org/
37. A. Maximov, M. Hell, and S. Maitra, "Plateaued rotation symmetric Boolean functions on odd number of variables," in Proc. 1st Workshop on Boolean Functions: Cryptography and Applications, BFCA 05, Rouen, France, Mar. 2005 [Online]. Available: Eprint.iacr.org
38. W. Meier, E. Pasalic, and C. Carlet, "Algebraic attacks and decomposition of Boolean functions," in Advances in Cryptology - EUROCRYPT 2004 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2004, vol. 3027, pp. 474-491.
39. D. Olejár and M. Stanek, "On cryptographic properties of random Boolean functions," J. Universal Comput. Sci., vol. 4, no. 8, pp. 705-717, 1998.
40. E. Pasalic, S. Maitra, T. Johansson, and P. Sarkar, "New constructions of resilient and correlation immune Boolean functions achieving upper bounds on nonlinearity," in Workshop on Coding and Cryptography - WCC 2001 (Electronic Notes in Discrete Mathematics). Amsterdam, The Netherlands: Elsevier Science, 2001, vol. 6.
41. E. Pasalic, "Degree optimized resilient Boolean functions from Maiorana-McFarland class," in Proc. 9th IMA Conf. Cryptography and Coding, Cirencester, U.K., Dec. 2003, vol. 2898, Lecture Notes in Computer Science, pp. 93-113.
42. P. Sarkar and S. Maitra, "Construction of nonlinear Boolean functions with important cryptographic properties," in Advances in Cryptology - EUROCRYPT 2000 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, May 2000, vol. 1807, pp. 485-506.
43. P. Sarkar and S. Maitra, "Nonlinearity bounds and construction of resilient Boolean functions," in Advances in Cryptology - Crypto 2000 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2000, vol. 1880, pp. 515-532.
44. J. Seberry, X. M. Zhang, and Y. Zheng, "On constructions and nonlinearity of correlation immune Boolean functions," in Advances in Cryptology - EUROCRYPT'93 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 1994, pp. 181-199.
45. C. E. Shannon, "Communication theory of secrecy systems," Bell Syst. Tech. J., vol. 28, pp. 656-715, 1949.
46. T. Siegenthaler, "Correlation-immunity of nonlinear combining functions for cryptographic applications," IEEE Trans. Inf. Theory, vol. IT-30, no. 5, pp. 776-780, Sep. 1984.
47. P. Stǎnicǎ and S. Maitra, "Rotation symmetric Boolean functions - Count and cryptographic properties," in R. C. Bose Centenary Sympo. Discrete Mathematics and Applications (Electronic Notes in Discrete Mathematics). Berlin, Germany: Springer-Verlag, Dec. 2002, vol. 15.
48. P. Stǎnicǎ S. Maitra, and J. Clark, "Results on rotation symmetric bent and correlation immune Boolean functions," in Fast Software Encryption 2004 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2004, vol. 3017, pp. 161-177.
49. Y. V. Tarannikov, "On resilient Boolean functions with maximum possible nonlinearity," in Progress in Cryptology - INDOCRYPT 2000 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2000, vol. 1977, pp. 19-30.
50. D. Wagner, A generalized birthday problem," in Advances in Cryptology - CRYPTO 2002 (Lecture Notes in Computer Science). Berlin, Germany: Springer-Verlag, 2002, vol. 2442, pp. 288-303.
51. F Didier, A new upper bound on the block error probability after decoding over the erasure channel. [Online]. Available: http:// www-rocq.inria.fr/codes/Frederic.Didier/. A new revised version will appear in IEEE Trans. Inf. Theory