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