Kidmose, Andreas B., and Tyge Tiessen. “A Formal Analysis of Boomerang Probabilities”. IACR Transactions on Symmetric Cryptology 2022, no. 1 (March 11, 2022): 88–109. Accessed January 18, 2025. https://icscm.ub.rub.de/index.php/ToSC/article/view/9528.