NAGELER, Marcel; GHOSH, Shibam; JÜTTLER, Marlene; EICHLSEDER, Maria. AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions. IACR Transactions on Symmetric Cryptology, [S. l.], v. 2025, n. 1, p. 471–514, 2025. DOI: 10.46586/tosc.v2025.i1.471-514. Disponível em: https://tosc.iacr.org/index.php/ToSC/article/view/12085.. Acesso em: 26 mar. 2025.