**Provable Security Evaluation of Structures against Impossible Differential and Zero Correlation Linear Cryptanalysis**

*Bing Sun and Meicheng Liu and Jian Guo and Vincent Rijmen and Ruilin Li*

**Abstract: **Impossible differential and zero correlation linear cryptanalysis are two of the most important cryptanalytic vectors. To characterize the impossible differentials and zero correlation linear hulls which are independent of the choices of the non-linear components, Sun et al. proposed the structure deduced by a block cipher at CRYPTO 2015. Based on that, we concentrate in this paper on the security of the SPN structure and Feistel structure with SP-type round functions. Firstly, we prove that for an SPN structure, if \alpha_1\rightarrow\beta_1 and \alpha_2\rightarrow\beta_ are possible differentials, \alpha_1|\alpha_2\rightarrow\beta_1|\beta_2 is also a possible differential, i.e., the OR "|" operation preserves differentials. Secondly, we show that for an SPN structure, there exists an r-round impossible differential if and only if there exists an r-round impossible differential \alpha\not\rightarrow\beta where the Hamming weights of both \alpha and \beta are 1. Thus for an SPN structure operating on m bytes, the computation complexity for deciding whether there exists an impossible differential can be reduced from O(2^{2m}) to O(m^2). Thirdly, we associate a primitive index with the linear layers of SPN structures. Based on the matrices theory over integer rings, we prove that the length of impossible differentials of an SPN structure is upper bounded by the primitive index of the linear layers. As a result we show that, unless the details of the S-boxes are considered, there do not exist 5-round impossible differentials for the AES and ARIA. Lastly, based on the links between impossible differential and zero correlation linear hull, we projected these results on impossible differentials to zero correlation linear hulls. It is interesting to note some of our results also apply to the Feistel structures with SP-type round functions.

**Category / Keywords: **secret-key cryptography / Impossible differential, Zero correlation linear, SPN structure, Feistel structure, AES, Camellia, ARIA

**Original Publication**** (in the same form): **IACR-EUROCRYPT-2016

**Date: **received 3 Feb 2016

**Contact author: **happy_come at 163 com

**Available format(s): **PDF | BibTeX Citation

**Version: **20160205:084114 (All versions of this report)

**Short URL: **ia.cr/2016/096

**Discussion forum: **Show discussion | Start new discussion

[ Cryptology ePrint archive ]