Using Constraint Programming to solve a Cryptanalytic Problem

David Gerault 1 Marine Minier 2 Christine Solnon 3
2 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
3 M2DisCo - Geometry Processing and Constrained Optimization
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : We describe Constraint Programming (CP) models to solve a cryptanalytic problem: the chosen key differential attack against the standard block cipher AES. We show that CP solvers are able to solve these problems quicker than dedicated cryptanaly-sis tools, and 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
IJCAI 2017 - International Joint Conference on Artificial Intelligence - Sister Conference Best Paper Track, Aug 2017, Melbourne, Australia. pp.5
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01528272
Contributeur : Christine Solnon <>
Soumis le : dimanche 28 mai 2017 - 15:26:15
Dernière modification le : jeudi 15 juin 2017 - 09:08:58
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 10:33:28

Fichier

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

Identifiants

  • HAL Id : hal-01528272, version 1

Citation

David Gerault, Marine Minier, Christine Solnon. Using Constraint Programming to solve a Cryptanalytic Problem. IJCAI 2017 - International Joint Conference on Artificial Intelligence - Sister Conference Best Paper Track, Aug 2017, Melbourne, Australia. pp.5. 〈hal-01528272〉

Partager

Métriques

Consultations de
la notice

245

Téléchargements du document

100