
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}}
|
/
〈 |
|
〉 |