Automatic method for searching integral distinguishers of ARX block ciphers

Ya HAN; Mingsheng WANG

doi:10.11959/j.issn.1000-436x.2018081

您当前的位置：

首页 >

文章列表页 >

Automatic method for searching integral distinguishers of ARX block ciphers

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

- Automatic method for searching integral distinguishers of ARX block ciphers
- Journal on Communications Vol. 39, Issue 5, Pages: 103-110(2018)
- 作者机构：
  
  1. 中国科学院信息工程研究所信息安全国家重点实验室，北京 100093
  2. 中国科学院大学网络空间安全学院，北京 100049
- 作者简介：
- 基金信息：
  
  The National Natural Science Foundation of China(61772516)
- DOI：10.11959/j.issn.1000-436x.2018081
  CLC： TP391
- Online First：2018-05，
  
  Published：25 May 2018
- 稿件说明：
移动端阅览
Ya HAN, Mingsheng WANG. Automatic method for searching integral distinguishers of ARX block ciphers[J]. Journal on Communications, 2018, 39(5): 103-110.
DOI：

Ya HAN, Mingsheng WANG. Automatic method for searching integral distinguishers of ARX block ciphers[J]. Journal on Communications, 2018, 39(5): 103-110. DOI： 10.11959/j.issn.1000-436x.2018081.

摘要

首先，基于三子集传播的积分可分性质，分别构造ARX结构分组密码积分的K集和L集传播方程，其中，经过分组密码轮函数异或操作时，L集所有向量影响K集向量传播；然后，利用SAT/SMT求解器，建立ARX结构分组密码积分传播方程；最后，遍历满足一定数据复杂度的积分输入，自动化搜索缩减轮数的 ARX 结构分组密码积分区分器。利用该方法能高效地自动化搜索ARX结构，包括类SIMON簇、HIGHT、SPECK簇和LEA等分组密码算法的积分区分器。

Abstract

Firstly

based on three subsets division property propagation technique

the propagation function of the K-set and L-set of ARX block ciphers was constructed respectively.All vectors in L-set affected the propagation of K-set when propagate through xored round key operation.With SAT/SMT solver

round reduced integral propagation functions of ARX block ciphers could be established.Finally

by exhausting all possible input integral characteristics with proper data complexity

round reduced integral distinguishers of ARX block ciphers could be found.The proposed method can be used for searching integral distinguishers of ARX block ciphers including SIMON-like family block ciphers

HIGHT

SPECK family block ciphers and LEA effectively.

关键词

Keywords

references

TODO Y , . Structural evaluation by generalized integral property [C ] // EUROCRYPT . 2015 : 287 - 314 .

TODO Y , . Integral cryptanalysis on full MISTY1 [C ] // CRYPTO . 2015 : 413 - 432 .

WANG Q J , LIU Z Q , KEREM V , et al . Cryptanalysis of reduced-round SIMON32 and SIMON48 [C ] // INDOCRYPT . 2014 : 143 - 160 .

TODO Y , MORII M . Bit-based division property and application to simon family [C ] // Fast Software Encryption . 2016 : 357 - 377 .

ALEX B , ARNAB R , VESSELIN V . Differential analysis of block ciphers SIMON and SPECK [C ] // Fast Software Encryption . 2014 : 546 - 570 .

XIANG Z J , ZHANG W T , BAO Z Z , et al . Applying MILP method to searching integral distinguishers based on division property for 6 lightweight block ciphers [C ] // ASIACRYPT . 2016 : 648 - 678 .

SUN L , WANG W , LIU R , et al . Milp-aided bit-based division property for arx-based block cipher [M ] . IACR Cryptology ePrint Archive , 2016 .

DEUKIO H , JAECHUL S , SEOKHIE H , et al . HIGHT:a new block cipher suitablefor low-resource device [C ] // Cryptographic Hardware and Embedded Systems . 2006 : 46 - 59 .

DEUKIO H , JUNG K L , DONG C K , et al . LEA:a 128-bit block cipher for fast encryption on common processors [C ] // WISA . 2013 : 3 - 27 .

DAVID J,WHEELER , ROGER M . Tea,a tiny encryption algorithm [C ] // Fast Software Encryption . 1994 : 363 - 366 .

YAO J T , LIU W N . The STP model for solving imprecise problems [C ] // GrC . 2006 : 683 - 687 .

YANG G Q , ZHU B , VALENTIN S , et al . The simeck family of lightweight block ciphers [C ] // Cryptographic Hardware and Embedded Systems . 2015 : 307 - 329 .

Views

2620

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

AI问答

⁰