AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions. - Marcel Nageler; Shibam Ghosh; Marlene Jüttler; Maria Eichlseder (IACR Trans. Symmetric Cryptol., 2025)