@misc{cryptoeprint:2019:476,
    author = {Muhammad ElSheikh and Ahmed Abdelkhalek and Amr M. Youssef},
    title = {On MILP-Based Automatic Search for Differential Trails Through Modular Additions with Application to Bel-T},
    howpublished = {Cryptology ePrint Archive, Report 2019/476},
    year = {2019},
    url = {https://eprint.iacr.org/2019/476},
}