Finding Bit-Based Division Property for Ciphers with Complex Linear Layers. ToSC [Internet]. 2020 May 7 [cited 2024 Jul. 17];2020(1):396-424. Available from: https://tosc.iacr.org/index.php/ToSC/article/view/8570