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

Ya HAN

doi:10.11959/j.issn.2096-109x.2017.00175

您当前的位置：

首页 >

文章列表页 >

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

Papers | 更新时间：2024-06-03

- Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers
- Chinese Journal of Network and Information Security Vol. 3, Issue 7, Pages: 58-63(2017)
- 作者机构：
  
  1. 中国科学院信息工程研究所信息安全国家重点实验室，北京 100093
  2. 中国科学院大学，北京 100049
- 作者简介：
- 基金信息：
- DOI：10.11959/j.issn.2096-109x.2017.00175
  CLC： TP309
- Online First：2017-07，
  
  Published：15 July 2017
- 稿件说明：
移动端阅览
Ya HAN. Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers[J]. Chinese Journal of Network and Information Security, 2017, 3(7): 58-63.
DOI：

Ya HAN. Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers[J]. Chinese Journal of Network and Information Security, 2017, 3(7): 58-63. DOI： 10.11959/j.issn.2096-109x.2017.00175.

摘要

首先，构造了ARX分组密码差分特征及线性掩码的传播方程；然后，利用SAT求解器求解传播方程并且判定该传播系统是否为有效传播；最后，遍历差分特征及线性掩码自动化搜索不可能差分及零相关线性闭包。利用该算法搜索TEA、XTEA和SIMON的不可能差分与零相关线性闭包，并得到TEA、XTEA及SIMON 族分组密码的最优不可能差分与零相关线性闭包。此外，利用差分以及线性分布表，该算法能有效搜索基于S盒分组密码的不可能差分及零相关线性闭包。

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.

关键词

Keywords

references

KNUDSEN L R . Deal - a 128 bit block cipher [J ] . Complexity , 2004 .

BIHAM E , BIRYUKOV A , SHAMIR A . Cryptanalysis of skipjack reduced to 31 rounds using impossible differentials [C ] // Advances in Cryptology — EUROCRYPT ’99 . 1999 : 12 - 23 .

BIHAM E , BIRYUKOV A , SHAMIR A . Miss in the middle attacks on IDEA and Khufu [C ] // The International Workshop on FAST Software Encryption . 1999 : 124 - 138 .

PHAN C W . Impossible differential cryptanalysis of 7-round advanced encryption standard(AES) [J ] . Information Processing Letters , 2004 , 91 ( 1 ): 33 - 38 .

LU J , DUNKELMAN O , KELLER N , et al . New impossible differential attacks on AES [C ] // Progress in Cryptology-INDOCRYPT . 2008 : 279 - 293 .

BOURA C , NAYA-PLASENCIA M , SUDER V . Scrutinizing and improving impossible differential attacks:applications to CLEFIA,camellia,lblock and simon [C ] // The International Conference on the Theory and Application of Cryptology and Information Security . 2014 : 179 - 199 .

CHEN J , FUTA Y , MIYAJI A , et al . Improving impossible differential cryptanalysis with concrete investigation of key scheduling algorithm and its application to lblock [C ] // The 8th International Conference on Network and System Security . 2014 : 184 - 197 .

BOGDANOV A , RIJMEN V . Linear hulls with correlation zero and linear cryptanalysis of block ciphers [J ] . Designs Codes ＆Cryptography , 2014 , 70 ( 3 ): 369 - 383 .

YI W T , CHEN S Z . Improved integral and zero-correlation linear cryptanalysis of reduced-round CLEFIA block cipher [J ] . IACR Cryptology ePrint Archive , 2016 : 149 .

SOLEIMANY H , NYBERG K . Zero-correlation linear cryptanalysis of reduced-round LBlock [J ] . Designs Codes ＆Cryptography , 2014 , 73 ( 2 ): 683 - 698 .

XU H , JIA P , HUANG G , et al . Multidimensional zero-correlation linear cryptanalysis on 23-round LBlock-s [M ] // Information and Communications Security . Berlin : SpringerPress , 2015 .

ZHANG K , GUAN J , HU B , et al . Security evaluation on simeck against zero correlation linear cryptanalysis [J ] . IACR Cryptology ePrint Archive , 2015 .

KIM J , HONG S , SUNG J , et al . Impossible differential cryptanalysis for block cipher structures [C ] // The 4th International Conference on Cryptology . 2003 : 82 - 96 .

LUO Y , LAI X , WU Z , et al . A unified method for finding impossible differentials of block cipher structures [J ] . Information Sciences , 2014 , 263 ( 1 ): 211 - 220 .

WU S , WANG M . Automatic search of truncated impossible differentials for word-oriented block ciphers [C ] // The International Conference on Cryptology . 2012 : 283 - 302 .

LIPMAA H , MORIAI S . Efficient algorithms for computing differential properties of addition [C ] // The 8th International Workshop on Fast Software Encryption . 2001 : 336 - 350 .

WALLÉN J , . Linear approximations of addition modulo 2n [C ] // The 10th International Workshop on Fast Software Encryption(2003) . 2003 : 261 - 273 .

KÖLBL S , LEANDER G , TIESSEN T . Observations on the SIMON block cipher family [C ] // Advances in Cryptology - CRYPTO . 2015 : 161 - 185 .

WHEELER D J , NEEDHAM R M . Tea,a tiny encryption algo-rithm [M ] // Fast Software Encryption . Berlin : SpringerPress , 1994 : 363 - 366 .

BEAULIEU R , SHORS D , SMITH J , et al . The simon and speck families of lightweight block ciphers [J ] . IACR Cryptology ePrint Archive , 2013 ( 6 ): 404 .

Views

1995

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Further accelerating the search of differential characteristics based on the SAT method

Related Author

Zheng XU

Related Institution

State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences

School of Cyber Security, University of Chinese Academy of Sciences

⁰