Proprietà di divisione
Generalizzazione delle proprietà di bilanciamento dell'attacco integrale che traccia quali gradi algebrici sopravvivono attraverso i round di un cifrario.
Yosuke Todo introdusse la proprietà di divisione a Eurocrypt 2015. La crittanalisi integrale classica verifica se un insieme di valori è costante, bilanciato o ignoto; il formalismo di Todo traccia invece quali monomi dei bit del testo in chiaro possono ancora comparire dopo ogni round. Ne risultano distinguisher più lunghi. Lo stesso anno Todo lo usò per rompere MISTY1 completo, un cifrario che resisteva dagli anni Novanta e il cui discendente KASUMI cifra il traffico 3G.
La variante a livello di bit è troppo onerosa da svolgere a mano, perciò oggi i ricercatori traducono le sue regole di propagazione in programmi lineari misti a numeri interi e lasciano la ricerca a un solver. Ha poi alimentato attacchi cube su Trivium ed è uno strumento standard ogni volta che un nuovo cifrario leggero viene messo sotto esame.