Bellini, E.; Gerault, D.; Grados, J.; Makarim, R. H.; Peyrin, T. Boosting Differential-Linear Cryptanalysis of ChaCha7 With MILP. ToSC 2023, 2023, 189-223.