Cryptographic Boolean Functions in Lean

8. Algebraic immune functions🔗

Carlet's Chapter 9 develops algebraic immunity through annihilator spaces, normality and weight constraints, first- and higher-order nonlinearity bounds, and constructions attaining optimal immunity.

  1. 8.1. Algebraic immunity
  2. 8.2. Nonlinearity bounds
  3. 8.3. Functions with optimal algebraic immunity