The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64

ePrint Report: The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64

Yingying Li, Qichun Wang

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 …

application automatic eprint report sat verification