Sun, Yao. “Automatic Search of Cubes for Attacking Stream Ciphers”. IACR Transactions on Symmetric Cryptology, vol. 2021, no. 4, Dec. 2021, pp. 100-23, https://doi.org/10.46586/tosc.v2021.i4.100-123.