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
Acta Electronica Sinica ›› 2019, Vol. 47 ›› Issue (12) : 2524-2532.
SAT-Based Automatic Search for Impossible Differentials and Zero-Correlation Linear Approximations in ARX
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |