“Finding Bit-Based Division Property for Ciphers with Complex Linear Layers”, ToSC, vol. 2020, no. 1, pp. 396–424, May 2020, doi: 10.13154/tosc.v2020.i1.396-424.