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