Refined Probability of Differential Characteristics Including Dependency Between Multiple Rounds. (2017). IACR Transactions on Symmetric Cryptology, 2017(2), 203-227. https://doi.org/10.13154/tosc.v2017.i2.203-227