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