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