基于SAT的ARX不可能差分和零相关区分器的自动化搜索
任炯炯, 张仕伟, 李曼曼, 陈少真
SAT-Based Automatic Search for Impossible Differentials and Zero-Correlation Linear Approximations in ARX
REN Jiong-jiong, ZHANG Shi-wei, LI Man-man, CHEN Shao-zhen
电子学报
.
2019, (12): 2524
-2532
.
DOI: 10.3969/j.issn.0372-2112.2019.12.010
