Properties of binary functions (Q4036864)

[For the entire collection see Zbl 0755.00009.] In this paper Boolean functions are described which simultaneously satisfy several cryptographic criteria. These criteria are the strict avalanche criterion (SAC), balance and correlation immunity, and are motivated by the investigation of block ciphers and stream ciphers. A cryptographic transformation satisfies SAC if an average of one half of the output bits change whenever a single input bit is changed. A function is balanced if, when all input vectors are equally likely, then all output vectors are equally likely. Moreover, a Boolean function is correlation immune if there is no correlation of the output to an input bit. The results are very technical and use combinatorial tools like the Hadamard-Walsh transform.