Using Constraint Programming to solve a Cryptanalytic Problem - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Using Constraint Programming to solve a Cryptanalytic Problem

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (232.95 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01528272 , version 1 (28-05-2017)

Identifiants

  • HAL Id : hal-01528272 , version 1

Citer

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.4844-4848. ⟨hal-01528272⟩
469 Consultations
516 Téléchargements

Partager

Gmail Facebook X LinkedIn More