Nageler, M. (2025) “AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions”, IACR Transactions on Symmetric Cryptology, 2025(1), pp. 471–514. doi:10.46586/tosc.v2025.i1.471-514.