Paper 2022/1549 Original: eprint.iacr.org/2022/1549 ↗
The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64
Abstract
In this paper, we show that it is inaccurate to apply the hypothesis of independent round keys to search for differential characteristics of a block cipher with a simple key schedule. Therefore, the derived differential characteristics may be invalid. We develop a SAT-based algorithm to verify the validity of differential characteristics. Furthermore, we take the key schedule into account and thus put forward an algorithm to directly find the valid differential characteristics. All experiments are performed on Midori64 and we find some interesting results.
Metadata
- Available format(s)
PDF- Category
- Attacks and cryptanalysis
- Publication info
- Preprint.
- History
- 2023-02-11: last updated
- 2022-11-08: published
- Short URL
- https://ia.cr/2022/1549
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2022/1549,
author = {Yingying Li and Qichun Wang},
title = {The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64},
howpublished = {Cryptology {ePrint} Archive, Paper 2022/1549},
year = {2022},
url = {https://eprint.iacr.org/2022/1549}
}