Claude Carlet: Propagation Characteristics of Boolean Functions. Encyclopedia of Cryptography and Security 2005