Propiedad de división
Una generalización de las propiedades de equilibrio del ataque integral que sigue qué grados algebraicos sobreviven a lo largo de las rondas de un cifrado.
Yosuke Todo presentó la propiedad de división en Eurocrypt 2015. El criptoanálisis integral clásico registra si un conjunto de valores es constante, equilibrado o desconocido; el formalismo de Todo registra en cambio qué monomios de los bits de texto claro pueden aparecer tras cada ronda. Eso da distinguidores más largos. Ese mismo año lo usó para romper MISTY1 completo, un cifrado que resistía desde los noventa y cuyo descendiente KASUMI cifra el tráfico 3G.
La variante a nivel de bit es demasiado costosa para calcularla a mano, así que hoy se traducen sus reglas de propagación a programas lineales enteros mixtos y se deja buscar a un solver. Desde entonces ha alimentado ataques de cubo contra Trivium y es herramienta habitual cuando se examina un nuevo cifrado ligero.