Cryptology ePrint Archive: Report 2015/122
Available versions in chronological order
20150226:120156 (posted 26-Feb-2015 12:01:56 UTC)
Constructing Mixed-integer Programming Models whose Feasible Region is Exactly the Set of All Valid Differential Characteristics of SIMON
Siwei Sun, Lei Hu, Meiqin Wang, Peng Wang, Kexin Qiao, Xiaoshuang Ma, Danping Shi, Ling Song, Kai Fu
[
Cryptology ePrint archive
]