Biryukov, Alex, Baptiste Lambin, and Aleksei Udovenko. “Exact Formula for RX-Differential Probability Through Modular Addition for All Rotations”. IACR Transactions on Symmetric Cryptology 2025, no. 1 (March 7, 2025): 542–591. Accessed March 29, 2025. https://tosc.iacr.org/index.php/ToSC/article/view/12087.