Hu, K., Wang, Q., & Wang, M. (2020). Finding Bit-Based Division Property for Ciphers with Complex Linear Layers. IACR Transactions on Symmetric Cryptology, 2020(1), 396–424. https://doi.org/10.13154/tosc.v2020.i1.396-424