An Infinite Class of Balanced Functions with Optimal Algebraic Immunity, Good Immunity to Fast Algebraic Attacks and Good Nonlinearity

  • Claude Carlet
  • Keqin Feng
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5350)

Abstract

After the improvement by Courtois and Meier of the algebraic attacks on stream ciphers and the introduction of the related notion of algebraic immunity, several constructions of infinite classes of Boolean functions with optimum algebraic immunity have been proposed. All of them gave functions whose algebraic degrees are high enough for resisting the Berlekamp-Massey attack and the recent Rønjom-Helleseth attack, but whose nonlinearities either achieve the worst possible value (given by Lobanov’s bound) or are slightly superior to it. Hence, these functions do not allow resistance to fast correlation attacks. Moreover, they do not behave well with respect to fast algebraic attacks. In this paper, we study an infinite class of functions which achieve an optimum algebraic immunity. We prove that they have an optimum algebraic degree and a much better nonlinearity than all the previously obtained infinite classes of functions. We check that, at least for small values of the number of variables, the functions of this class have in fact a very good nonlinearity and also a good behavior against fast algebraic attacks.

Keywords

Algebraic attack Boolean function Stream cipher 

References

  1. 1.
    Armknecht, F.: Improving fast algebraic attacks. In: Roy, B., Meier, W. (eds.) FSE 2004. LNCS, vol. 3017, pp. 65–82. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    Armknecht, F., Carlet, C., Gaborit, P., Künzli, S., Meier, W., Ruatta, O.: Efficient computation of algebraic immunity for algebraic and fast algebraic attacks. In: Vaudenay, S. (ed.) EUROCRYPT 2006. LNCS, vol. 4004, pp. 147–164. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Braeken, A., Preneel, B.: On the algebraic immunity of symmetric Boolean functions. In: Maitra, S., Veni Madhavan, C.E., Venkatesan, R. (eds.) INDOCRYPT 2005. LNCS, vol. 3797, pp. 35–48. Springer, Heidelberg (2005), http://homes.esat.kuleuven.be/~abraeken/thesisAn.pdf CrossRefGoogle Scholar
  4. 4.
    Braeken, A., Lano, J., Mentens, N., Preneel, B., Verbauwhede, I.: SFINKS: A Synchronous stream cipher for restricted hardware environments. In: SKEW - Symmetric Key Encryption Workshop (2005)Google Scholar
  5. 5.
    Canteaut, A.: Open problems related to algebraic attacks on stream ciphers. In: Ytrehus, Ø. (ed.) WCC 2005. LNCS, vol. 3969, pp. 120–134. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Canteaut, A., Trabbia, M.: Improved fast correlation attacks using parity-check equations of weight 4 and 5. In: Preneel, B. (ed.) EUROCRYPT 2000. LNCS, vol. 1807, pp. 573–588. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    Carlet, C.: A method of construction of balanced functions with optimum algebraic immunity. Cryptology ePrint Archive, http://eprint.iacr.org/2006/149; Proceedings of the Wuyi Workshop on Coding and Cryptology. Published by World Scientific Publishing Co. Its series of Coding and Cryptology (to appear)
  8. 8.
    Carlet, C.: On the higher order nonlinearities of algebraic immune functions. In: Dwork, C. (ed.) CRYPTO 2006. LNCS, vol. 4117, pp. 584–601. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Carlet, C.: The monography Boolean Methods and Models. In: Crama, Y., Hammer, P. (eds.) Boolean Functions for Cryptography and Error Correcting Codes. Cambridge University Press, Cambridge (to appear), http://www-rocq.inria.fr/codes/Claude.Carlet/pubs.html
  10. 10.
    Carlet, C., Dalai, D.K., Gupta, K.C., Maitra, S.: Algebraic immunity for cryptographically significant Boolean functions: analysis and construction. IEEE Trans. Inform. Theory 52(7), 3105–3121 (2006)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Carlet, C., Zeng, X., Li, C.: Further properties of several classes of Boolean functions with optimum algebraic immunity (preprint), IACR e-print archive 2007/370Google Scholar
  12. 12.
    Cho, J.Y., Pieprzyk, J.: Algebraic attacks on SOBER-t32 and SOBER-128. In: Roy, B., Meier, W. (eds.) FSE 2004. LNCS, vol. 3017, pp. 49–64. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Courtois, N.: Fast algebraic attacks on stream ciphers with linear feedback. In: Boneh, D. (ed.) CRYPTO 2003. LNCS, vol. 2729, pp. 176–194. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  14. 14.
    Courtois, N.: Cryptanalysis of SFINKS. In: ICISC 2005. Cryptology ePrint Archive Report 2005/243 (2005), http://eprint.iacr.org/
  15. 15.
    Courtois, N., Meier, W.: Algebraic attacks on stream ciphers with linear feedback. In: Biham, E. (ed.) EUROCRYPT 2003. LNCS, vol. 2656, pp. 345–359. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Courtois, N., Pieprzyk, J.: Cryptanalysis of block ciphers with overdefined systems of equations. In: Zheng, Y. (ed.) ASIACRYPT 2002. LNCS, vol. 2501, pp. 267–287. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  17. 17.
    Dalai, D.K., Gupta, K.C., Maitra, S.: Cryptographically significant Boolean functions: construction and analysis in terms of algebraic immunity. In: Gilbert, H., Handschuh, H. (eds.) FSE 2005. LNCS, vol. 3557, pp. 98–111. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  18. 18.
    Dalai, D.K., Maitra, S., Sarkar, S.: Basic theory in construction of Boolean functions with maximum possible annihilator immunity. Des. Codes Cryptogr. 40(1), 41–58 (2006)MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Didier, F.: A new upper bound on the block error probability after decoding over the erasure channel. IEEE Transactions on Information Theory 52, 4496–4503 (2006)MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
    Didier, F.: Using Wiedemann’s algorithm to compute the immunity against algebraic and fast algebraic attacks. In: Barua, R., Lange, T. (eds.) INDOCRYPT 2006. LNCS, vol. 4329, pp. 236–250. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  21. 21.
    Ding, C., Xiao, G., Shan, W. (eds.): The Stability Theory of Stream Ciphers. LNCS, vol. 561. Springer, Heidelberg (1991)MATHGoogle Scholar
  22. 22.
    Feng, K., Liao, Q., Yang, J.: Maximal values of generalized algebraic immunity. Designs, Codes and Cryptography (to appear)Google Scholar
  23. 23.
    Fischer, S., Meier, W.: Algebraic Immunity of S-boxes and Augmented Functions. In: Biryukov, A. (ed.) FSE 2007. LNCS, vol. 4593, pp. 366–381. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  24. 24.
    Hawkes, P., Rose, G.: Rewriting Variables: The Complexity of Fast Algebraic Attacks on Stream Ciphers. In: Franklin, M. (ed.) CRYPTO 2004. LNCS, vol. 3152, pp. 390–406. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  25. 25.
    Lee, D.H., Kim, J., Hong, J., Han, J.W., Moon, D.: Algebraic attacks on summation generators, Fast Software Encryption. In: Roy, B., Meier, W. (eds.) FSE 2004. LNCS, vol. 3017, pp. 34–48. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  26. 26.
    Li, N., Qi, W.F.: Construction and analysis of Boolean functions of 2t + 1 variables with maximum algebraic immunity. In: Lai, X., Chen, K. (eds.) ASIACRYPT 2006. LNCS, vol. 4284, pp. 84–98. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  27. 27.
    Li, N., Qi, W.F.: Symmetric Boolean functions depending on an odd number of variables with maximum algebraic immunity. IEEE Transactions on Information theory 52(5), 2271–2273 (2006)MathSciNetCrossRefMATHGoogle Scholar
  28. 28.
    Li, N., Qi, W.-Q.: Construction and analysis of Boolean functions of 2t + 1 variables with maximum algebraic immunity. In: Lai, X., Chen, K. (eds.) ASIACRYPT 2006. LNCS, vol. 4284, pp. 84–98. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  29. 29.
    Li, N., Qu, L., Qi, W.-F., Feng, G., Li, C., Xie, D.: On the construction of Boolean functions with optimal algebraic immunity. IEEE Transactions on Information Theory 54(3), 1330–1334 (2008)MathSciNetCrossRefMATHGoogle Scholar
  30. 30.
    Lidl, R., Niederreiter, H.: Finite Fields, Encyclopedia of Mathematics and its Applications, vol. 20. Addison-Wesley, Reading (1983)MATHGoogle Scholar
  31. 31.
    Lobanov, M.: Tight bound between nonlinearity and algebraic immunity. Paper 2005/441 (2005), http://eprint.iacr.org/
  32. 32.
    MacWilliams, F.J., Sloane, N.J.: The Theory of Error-Correcting Codes. North-Holland, Amsterdam (1977)MATHGoogle Scholar
  33. 33.
    Meier, W., Pasalic, E., Carlet, C.: Algebraic attacks and decomposition of Boolean functions. In: Cachin, C., Camenisch, J.L. (eds.) EUROCRYPT 2004. LNCS, vol. 3027, pp. 474–491. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  34. 34.
    Meier, W., Staffelbach, O.: Fast correlation attacks on stream ciphers. In: Günther, C.G. (ed.) EUROCRYPT 1988. LNCS, vol. 330, pp. 301–314. Springer, Heidelberg (1988)CrossRefGoogle Scholar
  35. 35.
    Nawaz, Y., Gong, G., Gupta, K.: Upper Bounds on Algebraic Immunity of Power Functions. In: Robshaw, M.J.B. (ed.) FSE 2006. LNCS, vol. 4047, pp. 375–389. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  36. 36.
    Qu, L., Li, C., Feng, K.: Note on symmetric Boolean functions with maximum algebraic immunity in odd number of variables. IEEE Transactions on Information theory 53(8), 2908–2910 (2007)MathSciNetCrossRefMATHGoogle Scholar
  37. 37.
    Rodier, F.: Asymptotic nonlinearity of Boolean functions. Designs, Codes and Cryptography 40(1), 59–70 (2006)MathSciNetCrossRefMATHGoogle Scholar
  38. 38.
    Rønjom, S., Helleseth, T.: A new attack on the filter generator. IEEE Trans. Inform. Theory 53(5), 1752–1758 (2007)MathSciNetCrossRefMATHGoogle Scholar
  39. 39.
    Shannon, C.E.: Communication theory of secrecy systems. Bell system technical journal 28, 656–715 (1949)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Claude Carlet
    • 1
  • Keqin Feng
    • 2
  1. 1.Department of MathematicsUniversity of Paris 8 (MAATICAH)Saint-Denis cedex 02France
  2. 2.Department of Mathematical SciencesTsinghua UniversityBeijingChina

Personalised recommendations