MILP/MIQCP-Based Fully Automatic Method of Searching for Differential-Linear Distinguishers for SIMON-Like Ciphers

Table 3

The DL distinguishers of reduced-round SIMECK.

Cipher	Round	Configuration	Correlation		References
			Theory	Experiment
SIMECK32	14				This work
SIMECK48	17				This work
	18				This work
SIMECK64	22				This work
	23				This work
	24				This work
	25				This work

Note: ^aSegmented experimental validation of theoretical correlation. Specifically, regrading the top and middle parts as a DL distinguisher, we obtain an experimental DL correlation with sample sizes and 100 random master keys. For the bottom linear part, we obtain an experimental linear correlation. Finally, the experimental correlations are obtained based on piling-up lemma.