Constraint Programming Models for Chosen Key Differential Cryptanalysis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Constraint Programming Models for Chosen Key Differential Cryptanalysis

Résumé

In this paper, we introduce Constraint Programming (CP) models to solve a cryptanalytic problem: the chosen key differential attack against the standard block cipher AES. The problem is solved in two steps: In Step 1, bytes are abstracted by binary values; In Step 2, byte values are searched. We introduce two CP models for Step 1: Model 1 is derived from AES rules in a straightforward way; Model 2 contains new constraints that remove invalid solutions filtered out in Step 2. We also introduce a CP model for Step 2. We evaluate scale-up properties of two classical CP solvers (Gecode and Choco) and a hybrid SAT/CP solver (Chuffed). We show that Model 2 is much more efficient than Model 1, and that Chuffed is faster than Choco which is faster than Gecode on the hardest instances of this problem. Furthermore, we prove that a solution claimed to be optimal in two recent cryptanalysis papers is not optimal by providing a better solution.
Fichier principal
Vignette du fichier
main.pdf (557.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01331222 , version 1 (13-06-2016)

Identifiants

  • HAL Id : hal-01331222 , version 1

Citer

David Gerault, Marine Minier, Christine Solnon. Constraint Programming Models for Chosen Key Differential Cryptanalysis. 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Sep 2016, Toulouse, France. pp.584-601. ⟨hal-01331222⟩
540 Consultations
722 Téléchargements

Partager

Gmail Facebook X LinkedIn More