Bellini, Emanuele, David Gerault, Juan Grados, Rusydi H. Makarim, and Thomas Peyrin. “Boosting Differential-Linear Cryptanalysis of ChaCha7 With MILP”. IACR Transactions on Symmetric Cryptology 2023, no. 2 (June 16, 2023): 189–223. Accessed February 5, 2025. https://tches.iacr.org/index.php/ToSC/article/view/10983.