@第{zbMATH07391562条，作者={Sadeghi，Sadegh and Rijmen，Vincent and Bagheri，Nasour}，标题={提议基于{MILP}基于差异的试验验证方法：应用于{SPECK}、{SIMECK}}、，FJournal={设计、代码和密码}，日志={Des.Codes Cryptography}，ISSN={0925-1022}，体积={89}，数字={9}，页码={2113--2155}，年份={2021}，语言={英语}，DOI={10.1007/s10623-021-00904-5}，关键词={94A60.68P25}，zbMATH={7391562}，Zbl={1472.94062}}