Propagation Characteristics of Boolean Functions

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 473)


The relation between the Walsh-Hadamard transform and the autocorrelation function of Boolean functions is used to study propagation characteristics of these functions. The Strict Avalanche Criterion and the Perfect Nonlinearity Criterion are generalized in a Propagation Criterion of degree k. New properties and constructions for Boolean bent functions are given and also the extension of the definition to odd values of n is discussed. New properties of functions satisfying higher order SAC are derived. Finally a general framework is established to classify functions according to their propagation characteristics if a number of bits is kept constant.


Autocorrelation Function Boolean Function Propagation Criterion Directional Derivative Affine Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [BMP86]
    E.F. Brickell, J.H. Moore and M.R. Purtill, “Structures in the S-boxes of the DES”, Advances in Cryptology, Proc. Crypto 86, Springer Verlag, 1987, p. 3–8.Google Scholar
  2. [dBo90]
    B. den Boer, personal communication.Google Scholar
  3. [DQD84]
    Y. Desmedt, J.-J. Quisquater and M. Davio, “Dependence of output on input in DES: small avalanche characteristics”, Advances in Cryptology, Proc. Crypto 84, Springer Verlag, 1985, p. 359–376.Google Scholar
  4. [Eve87]
    J.-H. Evertse, “Linear Structures in block ciphers”, Advances in Cryptology, Proc. Eurocrypt 87, Springer Verlag, 1988, p. 249–266.Google Scholar
  5. [For88]
    R. Forré, “The strict avalanche criterion: spectral properties of Boolean functions and an extended definition”, Advances in Cryptology, Proc. Crypto 88, Springer Verlag, 1990, p. 450–468.Google Scholar
  6. [Jan89]
    C.J.A. Jansen, “Investigations on nonlinear streamcipher systems: construction and evaluation methods”, PhD. Thesis, Technical University Delft, 1989.Google Scholar
  7. [Llo89]
    S. Lloyd, “Counting functions satisfying a higher order strict avalanche criterion”, Advances in Cryptology, Proc. Eurocrypt 89, Springer Verlag, to appear.Google Scholar
  8. [Llo90]
    S. Lloyd, “Characterising and counting functions satisfying the strict avalanche criterion of order (n-3)”.Google Scholar
  9. [MWS78]
    F.J. MacWilliams and N.J.A. Sloane, “The theory of error-correcting codes”, North-Holland Publishing Company, Amsterdam, 1978.Google Scholar
  10. [MS89]
    W. Meier and O. Staffelbach, “Nonlinearity criteria for cryptographic functions”, Advances in Cryptology, Proc. Eurocrypt 89, Springer Verlag, to appear.Google Scholar
  11. [Nyb90]
    K. Nyberg, “Constructions of bent functions and difference sets”, These Proceedings.Google Scholar
  12. [Rot76]
    O.S. Rothaus, “On bent functions”, Journal of Combinatorial Theory (A), Vol. 20, p. 300–305, 1976.MathSciNetzbMATHCrossRefGoogle Scholar
  13. [Rue86]
    R.A. Rueppel, “Analysis and design of stream ciphers”, Springer Verlag, 1986.Google Scholar
  14. [Sie84]
    T. Siegenthaler, “Correlation immunity of non-linear combining functions for cryptographic applications”, IEEE Trans. Inform. Theory, Vol. IT-30, p. 776–780, Oct. 1984.MathSciNetCrossRefGoogle Scholar
  15. [WT85]
    A.F. Webster and S.E. Tavares, “On the design of S-boxes”, Advances in Cryptology, Proc. Crypto 85, Springer Verlag, 1986, p. 523–534.Google Scholar
  16. [GM88]
    X. Guo-Zhen and J.L. Massey, “A spectral characterization of correlation-immune combining functions”, IEEE Trans. Inform. Theory, Vol. IT-34, p. 569–571, May 1988.Google Scholar
  17. [YH82]
    R. Yarlagadda and J.E. Hershey, “A note on the eigenvectors of Hadamard matrices of order 2n”, Linear Algebra & Appl., Vol. 45, p. 43–53, 1982.MathSciNetzbMATHCrossRefGoogle Scholar
  18. [YH89]
    R. Yarlagadda and J.E. Hershey, “Analysis and synthesis of bent sequences”, Proc. IEE, Vol. 136, Pt. E, p. 112–123, March 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  1. 1.Laboratorium ESATKatholieke Universiteit LeuvenHeverleeBelgium

Personalised recommendations