[Resource Topic] 2017/1163: MILP-aided Cryptanalysis of Round Reduced ChaCha

Welcome to the resource topic for 2017/1163

Title:
MILP-aided Cryptanalysis of Round Reduced ChaCha

Authors: Najwa Aaraj, Florian Caullery, Marc Manzano

Abstract:

The inclusion of ChaCha20 and Poly1305 into the list of supported ciphers in TLS 1.3 necessitates a security evaluation of those ciphers with all the state-of-the-art tools and innovative cryptanalysis methodologies. Mixed Integer Linear Programming (MILP) has been successfully applied to find more accurate characteristics of several ciphers such as SIMON and SPECK. In our research, we use MILP-aided cryptanalysis to search for differential characteristics, linear approximations and integral properties of ChaCha. We are able to find differential trails up to 2 rounds and linear trails up to 1 round. However, no integral distinguisher has been found, even for 1 round.

ePrint: https://eprint.iacr.org/2017/1163

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .