Automatic Search of Cubes for Attacking Stream Ciphers. ToSC. 2021;2021(4):100-123. doi:10.46586/tosc.v2021.i4.100-123