abstractXOR: A global constraint dedicated to differential cryptanalysis - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

abstractXOR: A global constraint dedicated to differential cryptanalysis

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).
Fichier principal
Vignette du fichier
final-version.pdf (342.61 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02899338 , version 1 (15-07-2020)

Identifiers

Cite

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⟩
135 View
256 Download

Altmetric

Share

Gmail Facebook X LinkedIn More