Welcome to the resource topic for 2022/1549
Title:
The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64
Authors: Yingying Li, Qichun Wang
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 valid. 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.
ePrint: https://eprint.iacr.org/2022/1549
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .