Automatic Search of Cubes for Attacking Stream Ciphers. ToSC [Internet]. 2021 Dec. 3 [cited 2024 Jul. 17];2021(4):100-23. Available from: https://tosc.iacr.org/index.php/ToSC/article/view/9330