Improvements for Finding Impossible Differentials of Block Cipher Structures

We improve Wu and Wang’s method for finding impossible differentials of block cipher structures. This improvement is more general than Wu and Wang’s method where it can find more impossible differentials with less time. We apply it on Gen-CAST256, Misty, Gen-Skipjack, Four-Cell, Gen-MARS, SMS4, MIBS, , LBlock, E2, and SNAKE block ciphers. All impossible differentials discovered by the algorithm are the same as Wu’s method. Besides, for the 8-round MIBS block cipher, we find 4 new impossible differentials, which are not listed in Wu and Wang’s results. The experiment results show that the improved algorithm can not only find more impossible differentials, but also largely reduce the search time.

[1]  Lei Hu,et al.  Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers , 2014, ASIACRYPT.

[2]  Andrey Bogdanov,et al.  On the (In)Equivalence of Impossible Differential and Zero-Correlation Distinguishers for Feistel- and Skipjack-Type Ciphers , 2014, ACNS.

[3]  Shaozhen Chen,et al.  Cryptanalysis of full PRIDE block cipher , 2015, Science China Information Sciences.

[4]  Yu Sasaki,et al.  New Impossible Differential Search Tool from Design and Cryptanalysis Aspects - Revealing Structural Properties of Several Ciphers , 2017, EUROCRYPT.

[5]  Dawu Gu,et al.  Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming , 2011, Inscrypt.

[6]  Huihui Yap.  Impossible Differential Characteristics of Extended Feistel Networks with Provable Security against Differential Cryptanalysis , 2008 .

[7]  Seokhie Hong,et al.  Provable Security for the Skipjack-like Structure against Differential Cryptanalysis and Linear Cryptanalysis , 2000, ASIACRYPT.

[8]  Xiaoyun Wang,et al.  Impossible differential attack on Simpira v2 , 2017, Science China Information Sciences.

[9]  Wenling Wu,et al.  LBlock: A Lightweight Block Cipher , 2011, ACNS.

[10]  Eli Biham,et al.  Cryptanalysis of Skipjack reduced to 31 rounds using impossible differentials , 1999 .

[11]  Xiaoli Yu,et al.  The DBlock family of block ciphers , 2014, Science China Information Sciences.

[12]  Guo-qiang Liu,et al.  Algebraic techniques in slender-set differential cryptanalysis of PRESENT-like cipher , 2015, Science China Information Sciences.

[13]  Jongsung Kim,et al.  Impossible differential cryptanalysis using matrix method , 2010, Discret. Math..

[14]  María Naya-Plasencia,et al.  Scrutinizing and Improving Impossible Differential Attacks: Applications to CLEFIA, Camellia, LBlock and Simon (Full Version) , 2014, IACR Cryptol. ePrint Arch..

[15]  Noen Given.  RECTANGLE : A Bit-slice Lightweight Block Cipher Suitable for Multiple Platforms , 2015 .

[16]  Khoongming Khoo,et al.  Cryptographic Properties and Application of a Generalized Unbalanced Feistel Network Structure , 2009, ACISP.

[17]  Hong-Bo Yu,et al.  Impossible Differential Analysis on Round-Reduced PRINCE , 2017, J. Inf. Sci. Eng..

[18]  Babak Sadeghiyan,et al.  MIBS: A New Lightweight Block Cipher , 2009, CANS.

[19]  Guoqiang Liu,et al.  Key recovery attack for PRESENT using slender-set linear cryptanalysis , 2015, Science China Information Sciences.

[20]  Kazuo Ohta,et al.  E2 - A new 128-bit block cipher , 2000 .

[21]  Yongqiang Li,et al.  Construction of MDS block diffusion matrices for block ciphers and hash functions , 2015, Science China Information Sciences.

[22]  Mitsuru Matsui,et al.  New Block Encryption Algorithm MISTY , 1997, FSE.

[23]  Thierry P. Berger,et al.  Some Results Using the Matrix Methods on Impossible, Integral and Zero-Correlation Distinguishers for Feistel-Like Ciphers , 2015, INDOCRYPT.

[24]  Xuejia Lai,et al.  Discussion on the theoretical results of white-box cryptography , 2015, Science China Information Sciences.

[25]  John P. Steinberger,et al.  Key-Alternating Ciphers in a Provable Setting: Encryption Using a Small Number of Public Permutations , 2012, IACR Cryptol. ePrint Arch..

[26]  Guang Gong,et al.  A unified method for finding impossible differentials of block cipher structures , 2014, Inf. Sci..

[27]  Keting Jia,et al.  New Automatic Search Tool for Impossible Differentials and Zero-Correlation Linear Approximations , 2016, IACR Cryptol. ePrint Arch..

[28]  Fang-Hsuan Cheng,et al.  The Block Cipher: SEA2 With Provable Resistance Against DC and LC Attacks , 2000, J. Inf. Sci. Eng..

[29]  Chao Li,et al.  Revised cryptanalysis for SMS4 , 2016, Science China Information Sciences.

[30]  Mingsheng Wang,et al.  Automatic Search of Truncated Impossible Differentials for Word-Oriented Block Ciphers , 2012, INDOCRYPT.

[31]  Serge Vaudenay,et al.  On the Pseudorandomness of Top-Level Schemes of Block Ciphers , 2000, ASIACRYPT.

[32]  Thierry P. Berger,et al.  Extended Generalized Feistel Networks Using Matrix Representation , 2013, Selected Areas in Cryptography.

[33]  Jongsung Kim,et al.  Impossible Differential Cryptanalysis for Block Cipher Structures , 2003, INDOCRYPT.

[34]  Mitsuru Matsui,et al.  Camellia: A 128-Bit Block Cipher Suitable for Multiple Platforms - Design and Analysis , 2000, Selected Areas in Cryptography.

[35]  Marine Minier,et al.  Analysis of Impossible, Integral and Zero-Correlation Attacks on Type-II Generalized Feistel Networks Using the Matrix Method , 2015, FSE.

[36]  Vincent Rijmen,et al.  Links Among Impossible Differential, Integral and Zero Correlation Linear Cryptanalysis , 2015, CRYPTO.