ディビジョンプロパティ
積分攻撃のバランス性を一般化し、暗号の各ラウンドを通してどの代数次数が残るかを追跡する手法。
ディビジョンプロパティは戸田洋介が2015年のEurocryptで発表した。従来の積分解読が、値の集合が定数・バランス・不明のどれかを追うのに対し、戸田の形式化は平文ビットのどの単項式が各ラウンド後にも現れ得るかを追う。そのおかげで、より長い識別器が得られる。同年、彼はこれを使って、1990年代から持ちこたえてきたMISTY1の完全版を破った。その後継のKASUMIは3G通信を暗号化している。
ビット単位の版は手作業では計算量が大きすぎるため、現在は伝搬規則を混合整数線形計画問題に変換し、ソルバーに探索を任せるのが普通だ。Triviumへのキューブ攻撃にも使われ、新しい軽量暗号が出るたびに検証される標準的な道具になっている。