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

Using Constraint Programming to solve a Cryptanalytic Problem

David Gerault
Université Clermont Auvergne [2017-2020]
Marine Minier
Cryptology, arithmetic : algebraic methods for better algorithms
Christine Solnon
Geometry Processing and Constrained Optimization

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.

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
main.pdf (232.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Christine Solnon  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01528272

Soumis le : dimanche 28 mai 2017-15:26:15

Dernière modification le : jeudi 14 novembre 2024-16:02:03

Archivage à long terme le : mercredi 6 septembre 2017-10:33:28

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS INRIA UNIV-LYON1 UNIV-LYON2 INSA-LYON EC-LYON LIRIS UNIV-LORRAINE INRIA2 LORIA LORIA-ALGO LABEXIMU INSA-GROUPE UDL
485 Consultations
558 Téléchargements

Partager

More