Les critères pour les boîte-S

1. Chaque colonne est une permutation des entiers 0, ..., 15
2. Aucune boîte-S n'est une fonction linéaire ou affine
3. La modification d'un bit de l'operande provoque la modification d'au moins deux bits du résultat
4. Pour chaque S et chaque z, S(z) et diffèrent sur au moins deux bits
5. Pour chaque S et chaque z, pour tout , on a
6. Si un bit de l'opérande est maintenu constant et si l'on s'intéresse à un bit donné du résultat, le nombre de valeurs produisant 0 est proche du nombre de valeurs produisant 1.