Sun, Y. (2021). Automatic Search of Cubes for Attacking Stream Ciphers. IACR Transactions on Symmetric Cryptology, 2021(4), 100-123. https://doi.org/10.46586/tosc.v2021.i4.100-123