通信学报2018，Vol.39Issue(5)：103-110,8.DOI:10.11959/j.issn.1000-436x.2018081
ARX结构分组密码积分区分器的自动化搜索
Automatic method for searching integral distinguishers of ARX block ciphers
摘要
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.关键词
ARX/三子集/积分区分器/SAT/SMTKey words
ARX/three subsets/integral distinguishers/SAT/SMT分类
信息技术与安全科学引用本文复制引用
韩亚,王明生..ARX结构分组密码积分区分器的自动化搜索[J].通信学报,2018,39(5):103-110,8.基金项目
国家自然科学基金资助项目(No.61772516)The National Natural Science Foundation of China(No.61772516) （No.61772516）
