Nageler, M., Ghosh, S., Jüttler, M., & Eichlseder, M. (2025). AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions. IACR Transactions on Symmetric Cryptology, 2025(1), 471-514. https://doi.org/10.46586/tosc.v2025.i1.471-514