Paper 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.
- Keywords
- Lightweight block cipherDifferential characteristicSATMidori64Hypothesis of independent round keys
- Contact author(s)
-
yyli @ nnu edu cn
qcwang @ fudan edu cn - History
- 2023-02-11: revised
- 2022-11-08: received
- See all versions
- Short URL
- https://ia.cr/2022/1549
- License
-
CC BY
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}
}
