“Boosting Differential-Linear Cryptanalysis of ChaCha7 With MILP”. IACR Transactions on Symmetric Cryptology, vol. 2023, no. 2, June 2023, pp. 189-23, https://doi.org/10.46586/tosc.v2023.i2.189-223.