AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions

AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions

Differential cryptanalysis is one of the main methods of cryptanalysis and has been applied to a wide range of ciphers. While it is very successful, it also relies on certain assumptions that do not necessarily hold in practice. One of these is the hypothesis of stochastic equivalence, which states...

Full description

Bibliographic Details
Main Authors: Marcel Nageler, Shibam Ghosh, Marlene Jüttler, Maria Eichlseder
Format: Article
Language:English
Published: Ruhr-Universität Bochum 2025-03-01
Series:IACR Transactions on Symmetric Cryptology
Subjects:
Differential cryptanalysis
Hypothesis of stochastic equivalence
Tool
SAT solver
GIFT
SKINNY
Online Access:https://tosc.iacr.org/index.php/ToSC/article/view/12085

Internet

https://tosc.iacr.org/index.php/ToSC/article/view/12085

Similar Items