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