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 May 1, 2024. https://tosc.iacr.org/index.php/ToSC/article/view/9528.