基于SAT的GRANULE算法不可能差分分析
武小年, 匡晶, 张润莲, 李灵琛
SAT-based impossible differential cryptanalysis of GRANULE cipher
Xiaonian WU, Jing KUANG, Runlian ZHANG, Lingchen LI
《计算机应用》唯一官方网站 . 2024, (3): 797 -804 .  DOI: 10.11772/j.issn.1001-9081.2023040435