Nageler, Marcel, et al. “AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions”. IACR Transactions on Symmetric Cryptology, vol. 2025, no. 1, Mar. 2025, pp. 471-14, https://doi.org/10.46586/tosc.v2025.i1.471-514.