Improving the MILP-Based Security Evaluation Algorithm Against Differential Linear Cryptanalysis Using A Divide-and-Conquer Approach. ToSC 2020, 2019 (4), 438-469. https://doi.org/10.13154/tosc.v2019.i4.438-469.