@misc{cryptoeprint:2020:632, author = {Sadegh Sadeghi and Vincent Rijmen and Nasour Bagheri}, title = {Proposing an MILP-based Method for the Experimental Verification of Difference Trails}, howpublished = {Cryptology ePrint Archive, Report 2020/632}, year = {2020}, url = {https://eprint.iacr.org/2020/632}, }