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