Propriété de division
Généralisation des propriétés d'équilibre de l'attaque intégrale, qui suit les degrés algébriques survivant au fil des tours d'un chiffrement.
Yosuke Todo introduit la propriété de division à Eurocrypt 2015. La cryptanalyse intégrale classique observe si un ensemble de valeurs est constant, équilibré ou inconnu ; le formalisme de Todo suit plutôt quels monômes des bits du clair peuvent encore apparaître après chaque tour. Les distinguisseurs obtenus sont plus longs. La même année, il s'en sert pour casser MISTY1 en entier, un chiffrement qui tenait depuis les années 1990 et dont le descendant KASUMI protège le trafic 3G.
La variante au niveau du bit est bien trop coûteuse à mener à la main : les chercheurs traduisent donc ses règles de propagation en programmes linéaires mixtes en nombres entiers et laissent un solveur chercher. Elle a depuis servi à des attaques cube contre Trivium et figure parmi les outils standard dès qu'un nouveau chiffrement léger passe à la loupe.