“Boosting Differential-Linear Cryptanalysis of ChaCha7 with MILP” (2023) IACR Transactions on Symmetric Cryptology, 2023(2), pp. 189–223. doi:10.46586/tosc.v2023.i2.189-223.