Siwei Sun, Lei Hu, Meiqin Wang, Qianqian Yang, Kexin Qiao, Xiaoshuang Ma, Ling Song, Jinyong Shan. Extending the Applicability of the Mixed-Integer Programming Technique in Automatic Differential Cryptanalysis. In Javier Lopez, Chris J. Mitchell, editors, Information Security - 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings. Volume 9290 of Lecture Notes in Computer Science, pages 141-157, Springer, 2015. [doi]
Abstract is missing.