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