基于MILP搜索的PUFFIN算法积分分析

• 作者: 刘国强 尚方舟 李超 沈璇
• 来源期刊: 密码学报
• 学科: 工学
• 关键词: 积分分析 混合整数线性规划 可分性质 PUFFIN算法
• 年，卷（期）: 2019,（5）
• 页码范围: 627-638
• 页数: 12页
• 分类号: TP309.7
• 字数: 6678字
• 语种: 中文
• DOI: 10.13868/j.cnki.jcr.000328

摘要

积分分析是针对分组密码十分有效的分析方法之一,其通常利用密文某些位置的零和性质构造积分区分器,并据此进行密钥恢复攻击.在ASIACRYPT 2016上,向泽军等人首次运用混合整数线性规划(MILP)模型对积分分析可分性质进行刻画,并对六种轻量级分组密码积分区分器进行搜索.本文针对轻量级分组密码PUFFIN算法,运用基于比特可分性质的MILP模型搜索可分路径,得到PUFFIN算法最长9轮积分区分器.但由于该9轮区分器区分优势不够明显且攻击数据复杂度较高,攻击效果不佳.为取得更好的攻击效果,本文选择搜索8轮积分区分器对PUFFIN算法进行10轮密钥恢复攻击.该攻击能够恢复PUFFIN算法100比特轮密钥,攻击的数据复杂度为254.81个选择明文,时间复杂度为267.49次10轮算法加密,存储复杂度为220个存储单元.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李超	国防科技大学文理学院	116	533	12.0	16.0
2	刘国强	国防科技大学文理学院	6	1	1.0	1.0
3	尚方舟	国防科技大学文理学院	1	0	0.0	0.0
4	沈璇	国防科技大学信息通信学院	6	6	1.0	2.0