Finding Bit-Based Division Property for Ciphers with Complex Linear Layers. ToSC. 2020;2020(1):396-424. doi:10.13154/tosc.v2020.i1.396-424