Cryptographic Boolean Functions in Lean
Cryptographic Boolean Functions in Lean
Table of Contents
1.
Generalities on Boolean functions
2.
Boolean functions and coding
3.
Boolean functions and cryptography
4.
Classes with Provable Spectra and Weights
5.
Bent functions
6.
Resilient functions
7.
Strict avalanche and propagation criteria
8.
Algebraic immune functions
9.
Symmetric functions
References
Dependency Graph
4.
Classes with Provable Spectra and Weights
4.1.
Affine functions
4.2.
Quadratic functions
4.3.
Indicators of flats
4.4.
Normal functions
4.5.
Functions admitting partial covering sequences
4.6.
Functions with low univariate degree
←
3.10. Other criteria
4.1. Affine functions
→
4. Classes with Provable Spectra and Weights
🔗
4.1.
Affine functions
4.2.
Quadratic functions
4.3.
Indicators of flats
4.4.
Normal functions
4.5.
Functions admitting partial covering sequences
4.6.
Functions with low univariate degree
←
3.10. Other criteria
4.1. Affine functions
→