Biryukov, A., Lambin, B., & Udovenko, A. (2025). Exact Formula for RX-Differential Probability Through Modular Addition for All Rotations. IACR Transactions on Symmetric Cryptology, 2025(1), 542-591. https://doi.org/10.46586/tosc.v2025.i1.542-591