韩亚
- 作品数：2 被引量：1H指数：1
- 供职机构：中国科学院信息工程研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- ARX结构分组密码积分区分器的自动化搜索被引量：1
- 2018年
- 首先,基于三子集传播的积分可分性质,分别构造ARX结构分组密码积分的K集和L集传播方程,其中,经过分组密码轮函数异或操作时,L集所有向量影响K集向量传播;然后,利用SAT/SMT求解器,建立ARX结构分组密码积分传播方程;最后,遍历满足一定数据复杂度的积分输入,自动化搜索缩减轮数的ARX结构分组密码积分区分器。利用该方法能高效地自动化搜索ARX结构,包括类SIMON簇、HIGHT、SPECK簇和LEA等分组密码算法的积分区分器。
- 韩亚王明生
- 关键词：ARX
- 自动化搜索ARX分组密码不可能差分与零相关线性闭包
- 2017年
- 首先,构造了ARX分组密码差分特征及线性掩码的传播方程;然后,利用SAT求解器求解传播方程并且判定该传播系统是否为有效传播;最后,遍历差分特征及线性掩码自动化搜索不可能差分及零相关线性闭包。利用该算法搜索TEA、XTEA和SIMON的不可能差分与零相关线性闭包,并得到TEA、XTEA及SIMON族分组密码的最优不可能差分与零相关线性闭包。此外,利用差分以及线性分布表,该算法能有效搜索基于S盒分组密码的不可能差分及零相关线性闭包。
- 韩亚
