Sun, Yao. “Automatic Search of Cubes for Attacking Stream Ciphers”. IACR Transactions on Symmetric Cryptology 2021, no. 4 (December 3, 2021): 100–123. Accessed March 1, 2024. https://tosc.iacr.org/index.php/ToSC/article/view/9330.