Chao Li

Differential-linear cryptanalysis against ChaCha based on automated tools

Abstract ChaCha is a widely deployed ARX stream cipher used in modern secure-communication protocols. Reduced-round cryptanalysis assesses its security margin and tests automated methods without implying a threat to the full 20-round cipher. We combine MILP search, GPU correlatio...