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