Skip to Main content Skip to Navigation
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

https://hal.archives-ouvertes.fr/hal-02899338
Contributor : Christine Solnon <>
Submitted on : Wednesday, July 15, 2020 - 9:45:59 AM
Last modification on : Thursday, February 25, 2021 - 1:43:00 PM
Long-term archiving on: : Tuesday, December 1, 2020 - 7:54:38 PM

File

final-version.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02899338, version 1

Citation

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. ⟨hal-02899338⟩

Share

Metrics

Record views

98

Files downloads

210