Cryptanalysis of ARX Ciphers - Recent Developments and Open Questions

Explore recent developments and open questions in cryptanalysis of ARX ciphers in this invited talk from FSE 2023. Delve into topics such as differential group analysis, automatic methods, correlation techniques, and linear cryptanalysis. Learn about finite automata, addition notations, carry vectors, and partitions. Examine the Molavesky technique, differential linear cryptanalysis formulas, and Sun Difference. Discover various automatic tools including Mixed Integer Linear Programming and Mixed Integer Quadratic Programming. Investigate experimental distinguishers and correlations, and engage with thought-provoking questions in this comprehensive overview of ARX cipher cryptanalysis.

Introduction
Outline
Representation
Applications
Development
Differential Group Analysis
Automatic Methods
Correlation
Finite automata
Linear correlation
Linear Crypt analysis
Differential Linear Crypt analysis
Addition notations
Carry vector
Partitions
Notations
Recursive Relation
Partition
Examples
Table
Molavesky technique
Formula
Differential Linear Crypto Analysis
Formulas
Summarization
Equation
Sun Difference
Types of Methods
Automatic Tools
Mixed Integer Linear Programming
Mixed Integer Quadratic Programming
Open Questions
Experimental Distinguishers
Experimental Correlations
Question