Improving the MILP-based Security Evaluation Algorithm against Differential/Linear Cryptanalysis Using A Divide-and-Conquer Approach

Chunning Zhou, Wentao Zhang, Tianyou Ding, Zejun Xiang. Improving the MILP-based Security Evaluation Algorithm against Differential/Linear Cryptanalysis Using A Divide-and-Conquer Approach. IACR Trans. Symmetric Cryptol., 2019(4):438-469, 2019. [doi]

Abstract

Abstract is missing.