abstractXOR: A global constraint dedicated to differential cryptanalysis

Loïc Rouquette (1, 2) , Christine Solnon (1)

1 CHROMA - Robots coopératifs et adaptés à la présence humaine en environnements dynamiques
2 Origami - Origami

Constraint Programming models have been recently proposed to solve cryptanalysis problems for symmetric block ciphers such as AES. These models are more efficient than dedicated approaches but their design is difficult: straightforward models do not scale well and it is necessary to add advanced constraints derived from cryptographic properties. We introduce a global constraint which simplifies the modelling step and improves efficiency. We study its complexity, introduce propagators and experimentally evaluate them on two cryptanalysis problems (single-key and related-key) for two block ciphers (AES and Midori).

Domaines: Intelligence artificielle [cs.AI]; Cryptographie et sécurité [cs.CR]

Loïc Rouquette, Christine Solnon. abstractXOR: A global constraint dedicated to differential cryptanalysis. 26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.566--584, ⟨10.1007/978-3-030-58475-7_33⟩. ⟨hal-02899338⟩