Division property
Een generalisatie van de balanseigenschappen van de integrale aanval, die bijhoudt welke algebraïsche graden de rondes van een cijfer overleven.
Yosuke Todo introduceerde de division property op Eurocrypt 2015. Klassieke integrale cryptanalyse volgt of een verzameling waarden constant, gebalanceerd of onbekend is; Todo's formalisme volgt in plaats daarvan welke monomen van de plaintextbits na elke ronde nog kunnen voorkomen. Dat levert langere distinguishers op. Datzelfde jaar brak hij ermee het volledige MISTY1, een cijfer dat sinds de jaren negentig overeind had gestaan en waarvan de afstammeling KASUMI het 3G-verkeer versleutelt.
De bitgebaseerde variant is veel te duur om met de hand uit te werken, dus vertalen onderzoekers de propagatieregels tegenwoordig naar gemengd-gehele lineaire programma's en laten ze een solver het zoekwerk doen. Zo zijn ook cube-aanvallen op Trivium mogelijk geworden, en het is een standaardgereedschap zodra een nieuw lichtgewicht cijfer onder de loep wordt genomen.