Bellini, E.; Gerault, D.; Grados, J.; Makarim, R. H.; Peyrin, T. Boosting Differential-Linear Cryptanalysis of ChaCha7 With MILP. ToSC 2023, 2023 (2), 189-223. https://doi.org/10.46586/tosc.v2023.i2.189-223.