AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions

Published in IACR Transactions on Symmetric Cryptology (TOSC), 2025

Authors: Marcel Nageler, Shibam Ghosh, Marlene Jüttler, Maria Eichlseder