Comment on "Bounds on the Number of Functions Satisfying the Strict Avalanche Criterion"

The Strict Avalanche Criterion (SAC) was introduced by Webster and Tavares (1995) in a study of design criteria for certain cryptographic functions. O'Connor (1994) gave an upper bound for the number of functions satisfying the SAC. Cusick (1996) gave a lower bound for the number of functions satisfying the SAC. He also gave a conjecture that provided an improvement of the lower bound. We give a constructive proof for this conjecture. Moreover, we provide an improved lower bound.