M. Nageler, S. Ghosh, M. Jüttler, and M. Eichlseder, “AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions”, ToSC, vol. 2025, no. 1, pp. 471–514, Mar. 2025, doi: 10.46586/tosc.v2025.i1.471-514.