Langage Déclaratif pour la cryptographie symétrique – DeCrypt
Ce projet a pour but de proposer un langage déclaratif dédié aux problèmes de cryptanalyses en cryptographie symétrique en
utilisant la programmation par contrainte (CP) afin de simplifier la représentation des attaques, d’améliorer les attaques existantes
et de construire de nouveaux algorithmes qui résistent à ces attaques.
Nous souhaitons également comparer les différents outils
pouvant être utilisé pour résoudre ces problèmes : SAT et MILP où les contraintes sont homogènes et CP où les contraintes
hétérogènes peuvent permettre un traitement plus complexe. Un des défis de ce projet sera de définir des contraintes globales
dédiées au cas de la cryptographie symétrique.
En ce qui concerne la programmation par contraintes, ce projet permettra de définir de nouvelles contraintes globales dédiées,
d’améliorer les algorithmes sous-jacents de filtrage et de recherche de solutions et de proposer des explications dédiées générées
automatiquement.
Coordination du projet
Marine MINIER (Laboratoire lorrain de recherche en informatique et ses applications)
L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.
Partenariat
IRISA Institut de Recherche en Informatique et Systèmes Aléatoires
LIMOS Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
LIRIS - CNRS UMR 5205 - LABORATOIRE D'INFORMATIQUE EN IMAGE ET SYSTEMES D'INFORMATION
LS2N Laboratoire des Sciences du Numérique de Nantes
LORIA Laboratoire lorrain de recherche en informatique et ses applications
Aide de l'ANR 609 671 euros
Début et durée du projet scientifique :
janvier 2019
- 48 Mois
