@misc{cryptoeprint:2021:643,
    author = {Muhammad ElSheikh and Amr M. Youssef},
    title = {On MILP-based Automatic Search for Bit-Based Division Property for Ciphers with (large) Linear Layers},
    howpublished = {Cryptology ePrint Archive, Report 2021/643},
    year = {2021},
    url = {https://eprint.iacr.org/2021/643},
}