Paper 2020/632
Proposing an MILP-based Method for the Experimental Verification of Difference Trails
Sadegh Sadeghi, Vincent Rijmen, and Nasour Bagheri
Abstract
Search for the right pairs of inputs in difference-based distinguishers is an important task for the experimental verification of the distinguishers in symmetric-key ciphers. In this paper, we develop an MILP-based approach to verify the possibility of difference-based distinguishers and extract the right pairs.
We apply the proposed method to some presented difference-based trails (Related-Key Differentials (RKD), Rotational-XOR (RX)) of block ciphers \texttt{SIMECK}, and \texttt{SPECK}. As a result, we show that some of the reported RX-trails of \texttt{SIMECK} and \texttt{SPECK} are incompatible, i.e. there are no right pairs that follow the expected propagation of the differences for the trail. Also, for compatible trails, the proposed approach can efficiently speed up the search process of finding the exact value of a weak-key from the target weak-key space. For example, in one of the reported 14-round RX trails of \texttt{SPECK}, the probability of a key pair to be a weak-key is
Metadata
- Available format(s)
-
PDF
- Category
- Secret-key cryptography
- Publication info
- Preprint. MINOR revision.
- Keywords
- Experimental verificationWeak-keysRelated-KeyMILPSPECKSIMECK
- Contact author(s)
-
s sadeghi khu @ gmail com
na bagheri @ gmail com
vincent rijmen @ kuleuven be - History
- 2020-06-03: received
- Short URL
- https://ia.cr/2020/632
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2020/632, author = {Sadegh Sadeghi and Vincent Rijmen and Nasour Bagheri}, title = {Proposing an {MILP}-based Method for the Experimental Verification of Difference Trails}, howpublished = {Cryptology {ePrint} Archive, Paper 2020/632}, year = {2020}, url = {https://eprint.iacr.org/2020/632} }