text: S-блок не должен содержать слова, состоящие все 0 или 1 Каждые два S-блока S0, S1 должны отличаться друг от друга как минимум в 3 из 4 байтах.(так как выполнение этого условия для псевдослучайных S-блоков крайне маловероятно, то один из двух S-блоков модифицируется) S-блок не содержит двух элементов S , S ( i ≠ j ) {\displaystyle S,S(i\neq j)} таких, что S = S ; S = − S {\displaystyle S\left=S\left;S\left=-S\left} или S = − S {\displaystyle S\left=-S\left} В S-блоке не существует двух пар элементов xor-отличия которых равны и двух пар элементов упорядоченная разность которых равна Каждые два элемента S-блока должны отличаться хотя бы 4 битами Требование №4 не выполнялось в реализации IBM для AES, но было поправлено сразу после финала.