Chinese Journal of Network and Information Security ›› 2017, Vol. 3 ›› Issue (7): 58-63.doi: 10.11959/j.issn.2096-109x.2017.00175

• Papers • Previous Articles     Next Articles

Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers

Ya HAN1,2   

  1. 1 The State Key Lab of Information Security,Institute of Information Engineering,Chinese Academy of Science,Beijing 100093,China
    2 University of Chinese Academy of Sciences,Beijing 100049,China
  • Revised:2017-06-15 Online:2017-07-01 Published:2017-08-01

Abstract:

Firstly,the differences and linear masks propagation equations of ARX ciphers were established.Secondly,the propagation equations were solved by SAT solver and judged valid or not.Finally,differences and linear masks were traversed to search impossible differentials and zero-correlation linear hulls automatically.The proposed algorithm was applied to TEA,XTEA and SIMON family block ciphers.The optimal impossible differentials and zero-correlation linear hulls for TEA,XTEA and SIMON family block ciphers were proposed.Moreover,with DDT and LAT,the algorithm can also be applied to search the impossible differentials and zero-correlation linear hulls of S-box based block ciphers.

Key words: impossible differential, zero-correlation linear hull, ARX structure, SAT solver

CLC Number: 

No Suggested Reading articles found!