Kidmose, Andreas B., and Tyge Tiessen. 2022. “A Formal Analysis of Boomerang Probabilities”. IACR Transactions on Symmetric Cryptology 2022 (1):88-109. https://doi.org/10.46586/tosc.v2022.i1.88-109.