Hu, Kai, Qingju Wang, and Meiqin Wang. 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.