Gui-Yan Ren

Differential-linear cryptanalysis against ChaCha based on automated tools

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 correlation estimation, and MIQCP-based prediction. MILP fi...