Sun, Yao. “Automatic Search of Cubes for Attacking Stream Ciphers”. IACR Transactions on Symmetric Cryptology 2021, no. 4 (December 3, 2021): 100–123. Accessed January 18, 2025. https://er.ceres.rub.de/index.php/ToSC/article/view/9330.