Lemme d'empilement
La règle qui dit à quelle vitesse une approximation linéaire s'estompe quand on en enchaîne plusieurs.
Quand des approximations linéaires indépendantes sont combinées par XOR, leurs biais se multiplient. Avec n approximations de biais ε₁ … εₙ, le biais combiné vaut 2^(n−1) · ε₁ · … · εₙ. Chaque approximation ajoutée affaiblit le signal : les longues attaques exigent donc toujours plus de couples clair-chiffré connus pour distinguer le vrai biais du bruit.
Mitsuru Matsui a utilisé ce lemme dans son attaque linéaire de 1993 contre DES. Il suppose l'indépendance des approximations, ce que les vrais chiffrements respectent rarement à la lettre. Les biais prédits sont donc des estimations, et les cryptanalystes les vérifient expérimentalement avant de faire confiance à une attaque.