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