A Formal Analysis of Boomerang Probabilities. ToSC. 2022;2022(1):88-109. doi:10.46586/tosc.v2022.i1.88-109