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