Bellini, Emanuele, David Gerault, Juan Grados, Rusydi H. Makarim, and Thomas Peyrin. 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.