“Refined Probability of Differential Characteristics Including Dependency Between Multiple Rounds”, ToSC, vol. 2017, no. 2, pp. 203–227, Jun. 2017, doi: 10.13154/tosc.v2017.i2.203-227.