Lecture Notes in Computer Science vol:547 pages:141-152
EUROCRYPT 1991 date:April 08-11, 1991
Boolean functions that satisfy higher order propagation criteria are studied. A complete characterization is given of the autocorrelation function and Walsh spectrum of second order functions. The number of second order functions satisfying PC(k) is related to a problem in coding theory and can be computed explicitly for k = 1, n - 1 and n. A new interpretation of the number of balanced second order functions is given and a class of functions showing interesting properties is discussed.