Refined Probability of Differential Characteristics Including Dependency Between Multiple Rounds. ToSC. 2017;2017(2):203-227. doi:10.13154/tosc.v2017.i2.203-227