AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions
Published in IACR Trans. Symmetric Cryptol. (TOSC), 2025
Use Google Scholar for full citation
Recommended citation: Marcel Nageler, Shibam Ghosh, Marlene J{\"{u}}ttler, Maria Eichlseder, "AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions." IACR Trans. Symmetric Cryptol. (TOSC), 2025.