Biryukov, Alex, Baptiste Lambin, and Aleksei Udovenko. 2025. “Exact Formula for RX-Differential Probability Through Modular Addition for All Rotations”. IACR Transactions on Symmetric Cryptology 2025 (1): 542-91. https://doi.org/10.46586/tosc.v2025.i1.542-591.