Constraint Programming Models for Chosen Key Differential Cryptanalysis

Abstract : 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.
Type de document :
Communication dans un congrès
22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Sep 2016, Toulouse, France. Springer, 22nd International Conference on Principles and Practice of Constraint Programming (CP)
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01331222
Contributeur : Christine Solnon <>
Soumis le : lundi 13 juin 2016 - 16:09:17
Dernière modification le : jeudi 15 juin 2017 - 01:08:24

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01331222, version 1

Citation

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. Springer, 22nd International Conference on Principles and Practice of Constraint Programming (CP). <hal-01331222>

Partager

Métriques

Consultations de
la notice

362

Téléchargements du document

220