E. Bellini, D. Gerault, J. Grados, R. H. Makarim, and T. Peyrin, “Boosting Differential-Linear Cryptanalysis of ChaCha7 with MILP”, ToSC, vol. 2023, no. 2, pp. 189–223, Jun. 2023, doi: 10.46586/tosc.v2023.i2.189-223.