Bellini, E., Gerault, D., Grados, J., Makarim, R. H., & Peyrin, T. (2023). Boosting Differential-Linear Cryptanalysis of ChaCha7 with MILP. IACR Transactions on Symmetric Cryptology, 2023(2), 189-223. https://doi.org/10.46586/tosc.v2023.i2.189-223