Properties of binary functions
- 1.6k Downloads
In this paper, we shall investigate the connections between three properties of a binary function: the Strict Avalanche Criterion, balance and correlation immunity. The strict avalanche criterion was introduced by Webster and Tavares  in order to combine the ideas of completeness and the avalanche effect. A cryptographic transformation is said to be complete if each output bit depends on each input bit, and it exhibits the avalanche effect if an average of one half of the output bits change whenever a single input bit is changed. Forré  extended this notion by defining higher order Strict Avalanche Criteria. A function is balanced if, when all input vectors are equally likely, then all output vectors are equally likely. This is an important property for many types of cryptographic functions. The idea of correlation immunity is also extremely important, especially in the field of stream ciphers, where combining functions which are not correlation immune are vulnerable to ciphertext only attacks (see, for example ). The concept of mth order correlation immunity was introduced by Siegenthaler  as a measure of resistance against such an attack.
- Forré, R., “The Strict Avalanche Criterion: Spectral Properties of Boolean Functions and an Extended Definition”, Abstracts CRYPTO88, 1988Google Scholar
- Lloyd, S.A, “Balance, uncorrelatedness and the Strict Avalanche Criterion”, Hewlett-Packard Research Laboratories, Bristol, Technical Memo no. HPL-ISC-TM-89-012, 1989 (also submitted to Discrete Applied Mathematics)Google Scholar
- Lloyd, S.A, “Characterising and counting functions satisfying the Strict Avalanche Criterion of order (n-3)”, to appear in Proceedings of the Second IMA Conference on Cryptography and Coding, 1989Google Scholar