The stream cipher ChaCha is one of the most widely used ciphers in the real world, such as
in TLS, SSH and so on. In this paper, we study the security of ChaCha via differential …

This work concentrates on differential-linear distinguishing attacks on the prominent ARX-
based permutation ChaCha. Here, we significantly improve the 7-round differential-linear …

This paper introduces claasp, a Cryptographic Library for the Automated Analysis of
Symmetric Primitives. The library is designed to be modular, extendable, easy to use …

This paper studies the advanced methodologies of differential cryptanalysis with a particular
emphasis on higher-order differentials and higher-order differential-linear cryptanalysis …

The stream cipher ChaCha has been subjected to differential linear cryptanalysis since
2008. Aumasson et al.(2008) laid the groundwork for this attack, employing the concept of …

Salsa is the most well-known stream cipher and a finalist of the eSTREAM project. The
concept of probabilistic neutral bits (PNBs) first presented by Aumasson et al., is the most …

Forró is a stream cipher proposed by Coutinho et al. in the Journal of Cryptology 2023 as a
refinement of ChaCha design by providing better diffusion. The authors showed that existing …

The ChaCha stream cipher, deployed in TLS 1.3, plays a significant role in internet security.
ChaCha's security has been well-studied against differential and differential-linear attacks …

This paper develops a significantly enhanced attack on the ciphers Salsa and ChaCha. The
existing attacks against these ciphers are mainly differential attacks. In this work, we produce …

This paper introduces CLAASP, a Cryptographic Library for the Automated Analysis of
Symmetric Primitives. The library is designed to be modular, extendable, easy to use …