Biryukov, Alex, et al. “Exact Formula for RX-Differential Probability Through Modular Addition for All Rotations”. IACR Transactions on Symmetric Cryptology, vol. 2025, no. 1, Mar. 2025, pp. 542-91, https://doi.org/10.46586/tosc.v2025.i1.542-591.