Sun, Yao. 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.