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