密码学报（中英文）2025，Vol.12Issue(5)：1003-1017,15.DOI:10.13868/j.cnki.jcr.000806
SIMON算法的自动化相关密钥不可能差分分析
Automated Related-Key Impossible Differential Cryptanalysis of SIMON
摘要
Abstract
SIMON is a family of lightweight block ciphers proposed by the U.S.National Security Agency in 2013,aimed at providing the required security for resource-constrained lightweight devices.SIMON has attracted the attention of a large number of cryptologists since it was proposed.This study focuses on the related-key impossible differential cryptanalysis of SIMON32/64.By analyzing the 11-round impossible differential characteristics of SIMON32/64 in the single-key model,it is found that injecting non-zero differences from the right branch can lead to longer related-key impossible differential characteristics.Based on the miss-in-the-middle technique,an SMT model is constructed to search for related-key impossible differential characteristics of SIMON32/64.Consequently,six 15-round related-key impossible differential characteristics of SIMON32/64 are found and it is also proved that there are no 16-round related-key impossible differential characteristics of SIMON32/64 in this scenario.Furthermore,the verification models of impossible differential characteristics proposed by Cui et al.and Hu et al.are employed to examine the positions and information where contradictions occur in these characteristics.These allow us to identify additional characteristics and present the best known related-key impossible differential attacks on SIMON32/64 to date.关键词
SIMON算法/相关密钥不可能差分特征/SMT模型Key words
SIMON/related-key impossible differential/SMT model分类
计算机与自动化引用本文复制引用
史佳利,刘国强,李超..SIMON算法的自动化相关密钥不可能差分分析[J].密码学报（中英文）,2025,12(5):1003-1017,15.基金项目
国家自然科学基金(61702537,62172427) （61702537,62172427）
河南省高等学校重点科研项目(26B110005) （26B110005）
河南省高校基本科研业务费专项资金(NSFRF2502061)National Natural Science Foundation of China(61702537,62172427) （NSFRF2502061）
Key Scientific Research Projects of Henan Province for Institutions of Higher Education(26B110005) （26B110005）
the Fundamental Research Funds for the Univer-sities of Henan Province(NSFRF2502061) （NSFRF2502061）
