“The DRACO Stream Cipher: A Power-Efficient Small-State Stream Cipher With Full Provable Security Against TMDTO Attacks”. IACR Transactions on Symmetric Cryptology, vol. 2022, no. 2, June 2022, pp. 1-42, https://doi.org/10.46586/tosc.v2022.i2.1-42.