Constructing Mixed-integer Programming Models whose Feasible Region is Exactly the Set of All Valid Differential Characteristics of SIMON.
Siwei SunLei HuMeiqin WangPeng WangKexin QiaoXiaoshuang MaDanping ShiLing SongKai FuPublished in: IACR Cryptol. ePrint Arch. (2015)