Hamann, M. et al. 2022. The DRACO Stream Cipher: A Power-efficient Small-state Stream Cipher with Full Provable Security against TMDTO Attacks. IACR Transactions on Symmetric Cryptology. 2022, 2 (Jun. 2022), 1–42. DOI:https://doi.org/10.46586/tosc.v2022.i2.1-42.