K. Hu, Q. Wang, and M. Wang, “Finding Bit-Based Division Property for Ciphers with Complex Linear Layers”, ToSC, vol. 2020, no. 1, pp. 396–424, May 2020.