电子学报2019，Vol.47Issue(12)：2524-2532,9.DOI:10.3969/j.issn.0372-2112.2019.12.010
基于SAT的ARX不可能差分和零相关区分器的自动化搜索
SAT-Based Automatic Search for Impossible Differentials and Zero-Correlation Linear Approximations in ARX
摘要
关键词
不可能差分区分器/零相关区分器/ARX/Chaskey/SPECK/HIGHT/SAT求解器分类
信息技术与安全科学引用本文复制引用
任炯炯,张仕伟,李曼曼,陈少真..基于SAT的ARX不可能差分和零相关区分器的自动化搜索[J].电子学报,2019,47(12):2524-2532,9.基金项目
国家密码发展基金(No.MMJJ20180203) （No.MMJJ20180203）
数学工程与先进计算国家重点实验室开放基金(No.2018A03) （No.2018A03）
信息保障技术重点实验室开放基金(No.KJ-17-002) （No.KJ-17-002）
