Nageler, Marcel, Shibam Ghosh, Marlene Jüttler, and Maria Eichlseder. 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.