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]
@inproceedings{ZhangSCH18, title = {Speeding up MILP Aided Differential Characteristic Search with Matsui's Strategy}, author = {Yingjie Zhang and Siwei Sun and Jiahao Cai and Lei Hu}, year = {2018}, doi = {10.1007/978-3-319-99136-8_6}, url = {https://doi.org/10.1007/978-3-319-99136-8_6}, researchr = {https://researchr.org/publication/ZhangSCH18}, cites = {0}, citedby = {0}, pages = {101-115}, booktitle = {Information Security - 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings}, editor = {Liqun Chen and Mark Manulis and Steve Schneider}, volume = {11060}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-99136-8}, }