Nageler, M. et al. 2025. AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions. IACR Transactions on Symmetric Cryptology. 2025, 1 (Mar. 2025), 471–514. DOI:https://doi.org/10.46586/tosc.v2025.i1.471-514.