A Formal Analysis of Boomerang Probabilities. (2022). IACR Transactions on Symmetric Cryptology, 2022(1), 88-109. https://doi.org/10.46586/tosc.v2022.i1.88-109