Paper 2023/181 Fully Automated Differential-Linear Attacks against ARX Ciphers , Technology Innovation Institute , Technology Innovation Institute , Technology Innovation Institute , Technology Innovation Institute , Nanyang Technological University In this paper, we present a fully automated tool for differential-linear attacks using Mixed-Integer Linear Programming (MILP) and Mixed-Integer Quadratic Constraint Programming (MIQCP) techniques, which is, to the best of our knowledge, the very...