Yingjie Zhang, Siwei Sun, Jiahao Cai, Lei Hu. Speeding up MILP Aided Differential Characteristic Search with Matsui's Strategy. In Liqun Chen, Mark Manulis, Steve Schneider, editors, Information Security - 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings. Volume 11060 of Lecture Notes in Computer Science, pages 101-115, Springer, 2018. [doi]