轻量分组密码GRANULE的积分特征自动化搜索  

Automatic Search of Integral Characteristics of Lightweight Block Cipher GRANULE

作　　者：方玉颖 徐洪[1] FANG Yuying;XU Hong(Information Engineering University,Zhengzhou 450001,China)

机构地区：[1]信息工程大学

出　　处：《信息工程大学学报》2019年第3期346-349,共4页Journal of Information Engineering University

基　　金：国家密码发展基金资助项目(MMJJ20180204)

摘　　要：GRANULE算法是2018年设计提出的一类轻量分组密码。算法整体采用Feistel-SP结构,轮函数的设计满足混淆扩散原则,主要的非线性层为8个并置的4比特S盒。通过研究文献[1]提出的比特级分离特性,构造GRANULE算法S盒比特级分离特性的传播表,结合混合整数线性规划(MILP)思想,用不等式组的形式给出算法比特级分离特性的传播过程,构造MILP模型,求解相应的MILP问题,最终实现对GRANULE算法积分特征的自动化搜索,并找到10轮积分特征。The GRANULE algorithm is a lightweight block cipher proposed in 2018.The algorithm adopts Feistel-SP structure and the design of round function satisfies the principle of confusion and diffusion while the main nonlinear layer is 8 parallel 4-bit Sboxes.In this article,we study the bit-based division property proposed by Todo et al.and construct the propagation table of the bit-based division property of the GRANULE algorithm’s Sboxes.Combined with the mixed integer linear programming(MILP)idea,the bit-based division property of the GRANULE algorithm is described bycertain inequalities under the MILP model.By solving the MILP problem,the automatic search of the integral characteristics of the GRANULE algorithm is realized,and the 10-round integral characteristics is found.

关 键 词：GRANULE算法 比特级分离特性 混合整数线性规划 积分特征 

分 类 号：TN918.1[电子电信—通信与信息系统]