Mixed Integer Programming Models for Finite Automaton and Its Application to Additive Differential Patterns of Exclusive-Or.
Siwei SunLei HuPeng WangMeiqin WangDanping ShiXiaoshuang MaQianqian YangKai FuPublished in: IACR Cryptol. ePrint Arch. (2016)