Symmetric Boolean functions

We present an extensive study of symmetric Boolean functions, especially of their cryptographic properties. Our main result establishes the link between the periodicity of the simplified value vector of a symmetric Boolean function and its degree. Besides the reduction of the amount of memory required for representing a symmetric function, this property has some consequences from a cryptographic point of view. For instance, it leads to a new general bound on the order of resiliency of symmetric functions, which improves Siegenthaler's bound. The propagation characteristics of these functions are also addressed and the algebraic normal forms of all their derivatives are given. We finally detail the characteristics of the symmetric functions of degree at most 7, for any number of variables. Most notably, we determine all balanced symmetric functions of degree less than or equal to 7.

[1]  Yixian Yang,et al.  Further enumerating boolean functions of cryptographic significance , 2004, Journal of Cryptology.

[2]  Dean G. Hoffman,et al.  A Note on a Conjecture Concerning Symmetric Resilient Functions , 1993, Inf. Process. Lett..

[3]  Palash Sarkar,et al.  Maximum nonlinearity of symmetric Boolean functions on odd number of variables , 2002, IEEE Trans. Inf. Theory.

[4]  Willi Meier,et al.  Nonlinearity Criteria for Cryptographic Functions , 1990, EUROCRYPT.

[5]  Petr Savický.  On the Bent Boolean Functions That are Symmetric , 1994, Eur. J. Comb..

[6]  Chris J. Mitchell,et al.  Enumerating Boolean functions of cryptographic significance , 1990, Journal of Cryptology.

[7]  Ingo Wegener,et al.  The complexity of Boolean functions , 1987 .

[8]  Anne Canteaut,et al.  On cryptographic properties of the cosets of R(1, m) , 2001, IEEE Trans. Inf. Theory.

[9]  Joachim von zur Gathen,et al.  Polynomials with two values , 1997, Comb..

[10]  Thomas Siegenthaler,et al.  Correlation-immunity of nonlinear combining functions for cryptographic applications , 1984, IEEE Trans. Inf. Theory.

[11]  Aline Gouget,et al.  On the Propagation Criterion of Boolean Functions , 2004 .

[12]  Palash Sarkar,et al.  Balancedness and Correlation Immunity of Symmetric Boolean Functions , 2003, Electron. Notes Discret. Math..

[13]  O. S. Rothaus,et al.  On "Bent" Functions , 1976, J. Comb. Theory, Ser. A.

[14]  Mitsuru Matsui,et al.  Linear Cryptanalysis Method for DES Cipher , 1994, EUROCRYPT.

[15]  Joos Vandewalle,et al.  Propagation Characteristics of Boolean Functions , 1991, EUROCRYPT.

[16]  Claude Carlet,et al.  Propagation Characteristics of Boolean Functions , 2005, Encyclopedia of Cryptography and Security.

[17]  J. Dillon.  Elementary Hadamard Difference Sets , 1974 .

[18]  Ed Dawson,et al.  On the linear structure of symmetric Boolean functions , 1997, Australas. J Comb..