“A Formal Analysis of Boomerang Probabilities”. IACR Transactions on Symmetric Cryptology 2022, no. 1 (March 11, 2022): 88–109. Accessed November 21, 2024. https://tosc.iacr.org/index.php/ToSC/article/view/9528.