@misc{cryptoeprint:2020:1093,
    author = {Xichao Hu and Yongqiang Li and Lin Jiao and Shizhu Tian and Mingsheng Wang},
    title = {Mind the Propagation of States New Automatic Search Tool for Impossible Differentials and  Impossible Polytopic Transitions (Full Version)},
    howpublished = {Cryptology ePrint Archive, Report 2020/1093},
    year = {2020},
    url = {https://eprint.iacr.org/2020/1093},
}