Nageler, Marcel, Shibam Ghosh, Marlene Jüttler, and Maria Eichlseder. “AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions”. IACR Transactions on Symmetric Cryptology 2025, no. 1 (March 7, 2025): 471–514. Accessed March 26, 2025. https://tosc.iacr.org/index.php/ToSC/article/view/12085.