Cryptographic Boolean Functions in Lean

9. Symmetric functions🔗

Carlet's Chapter 10 develops symmetric Boolean functions through their weight-layer representations, Fourier--Walsh transforms, nonlinearity, resiliency, algebraic immunity, and rotation-symmetric generalizations.

  1. 9.1. Representations
  2. 9.2. Fourier and Walsh transforms
  3. 9.3. Nonlinearity
  4. 9.4. Resiliency
  5. 9.5. Algebraic immunity
  6. 9.6. Rotation-symmetric and Matriochka-symmetric functions