Speeding up MILP Aided Differential Characteristic Search with Matsui's Strategy

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},
}