M. Hamann, A. Moch, M. Krause, and V. Mikhalev, “The DRACO Stream Cipher: A Power-efficient Small-state Stream Cipher with Full Provable Security against TMDTO Attacks”, ToSC, vol. 2022, no. 2, pp. 1–42, Jun. 2022.