Recherche arborescente et apprentissage pour les problèmes cryptographiques - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Recherche arborescente et apprentissage pour les problèmes cryptographiques

Résumé

Les instances provenant du monde de la cryptographie sont représentées sous format ANF (Algebraic Normal Form). Les solveurs dédiés à la resolution de ces instances transforment les formules en une conjonction formée de clauses CNF et XOR et utilisent des techniques comme l'élimination Gaussienne. Dans ce papier, nous souhaitons introduire un solveur capable de raisonner directement sur une formule au format ANF tout en intégrant des mécanismes propres aux solveurs SAT, comme les watched literals et l'analyse de conflit.
Fichier principal
Vignette du fichier
01x02 (1).pdf (426.25 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04701880 , version 1 (18-09-2024)

Identifiants

  • HAL Id : hal-04701880 , version 1

Citer

Anthony Blomme, Sami Cherif, Sorina Ionica, Gilles Dequen. Recherche arborescente et apprentissage pour les problèmes cryptographiques. Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France. ⟨hal-04701880⟩
13 Consultations
4 Téléchargements

Partager

More