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