HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Solving a Symmetric Key Cryptographic Problem with Constraint Programming

Marine Minier 1 Christine Solnon 2 Julia Reboul 2
1 PRIVATICS - Privacy Models, Architectures and Tools for the Information Society
CITI - CITI Centre of Innovation in Telecommunications and Integration of services, Inria Grenoble - Rhône-Alpes
2 M2DisCo - Geometry Processing and Constrained Optimization
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : This paper tries to sum up a starting work at the edge between Cryptography and Constraint Programming. Indeed, many cryptographic problems are solved using Branch \& Bound approaches which are implemented from scratch using classical programming languages such as C. This implies quite a lot of programming work. Furthermore, these problems are NP-hard and solving them within a reasonable amount of time is still challenging.The main goal of this paper is to investigate the capabilities of classical Constraint Programming tools for solving these problems. In this very first study, we focus on a particular problem coming from the symmetric key cryptography world. This particular problem could help cryptographers to mount attacks called differential attacks against block ciphers. Branch \& Bound approaches are not able to solve it within a reasonable amount of time. We introduce a CP model for this problem, and we show that Choco is able to solve it to optimality in less than two hours.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

Contributor : Marine Minier Connect in order to contact the contributor
Submitted on : Tuesday, March 24, 2020 - 1:34:26 PM
Last modification on : Wednesday, March 9, 2022 - 3:30:42 PM
Long-term archiving on: : Thursday, June 25, 2020 - 1:30:42 PM


Files produced by the author(s)


  • HAL Id : hal-01092574, version 1


Marine Minier, Christine Solnon, Julia Reboul. Solving a Symmetric Key Cryptographic Problem with Constraint Programming. ModRef 2014, Workshop of the CP 2014 Conference, Sep 2014, Lyon, France. pp.13. ⟨hal-01092574⟩



Record views


Files downloads