Division Property
Eine Verallgemeinerung der Balance-Eigenschaften des Integral-Angriffs, die verfolgt, welche algebraischen Grade eine Chiffre über ihre Runden hinweg überleben.
Yosuke Todo stellte die Division Property auf der Eurocrypt 2015 vor. Die klassische Integral-Kryptoanalyse verfolgt, ob eine Menge von Werten konstant, balanciert oder unbekannt ist; Todos Formalismus verfolgt stattdessen, welche Monome der Klartextbits nach jeder Runde noch auftreten können. Das ergibt längere Distinguisher. Im selben Jahr brach er damit das vollständige MISTY1, eine Chiffre, die seit den 1990ern gehalten hatte und deren Nachfahre KASUMI den 3G-Verkehr verschlüsselt.
Die bitbasierte Variante ist von Hand viel zu aufwendig, weshalb man ihre Propagationsregeln heute in gemischt-ganzzahlige lineare Programme übersetzt und die Suche einem Solver überlässt. Seitdem hat sie Cube-Angriffe auf Trivium ermöglicht und gehört zum Standardwerkzeug, wenn eine neue Leichtgewichtschiffre unter die Lupe genommen wird.