Skip to Main content Skip to Navigation
New interface
Conference papers

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
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
2 Origami - Origami
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : 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).
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Christine Solnon Connect in order to contact the contributor
Submitted on : Wednesday, July 15, 2020 - 9:45:59 AM
Last modification on : Tuesday, October 25, 2022 - 4:20:27 PM
Long-term archiving on: : Tuesday, December 1, 2020 - 7:54:38 PM


Files produced by the author(s)



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⟩



Record views


Files downloads