Hu, Kai, Qingju Wang, and Meiqin Wang. “Finding Bit-Based Division Property for Ciphers With Complex Linear Layers”.
IACR Transactions on Symmetric Cryptology 2020, no. 1 (May 7, 2020): 396–424. Accessed April 2, 2025.
https://tosc.iacr.org/index.php/ToSC/article/view/8570.