Projets

Decrypt : DEclarative approach for symmetric CRYPTography

Responsable LIMOS : LAFOURCADE Pascal
Coordinateur : Marine Minier
Début du projet : 15 septembre 2018 - Fin du projet : 11 janvier 2022

URL : https://decrypt.limos.fr/

L'objectif du projet Decrypt est de faciliter le design de primitives de chiffrement symétriques en proposant des outils qui permettent aux cryptographes de

  1. faciliter la modélisation des problèmes combinatoires qui sont sous-jacents aux primitives symétriques;
  2. efficacement résoudre ces problèmes en utilisant des solveurs de contraintes qui passent mieux à l'échelle que des approches dédiées;
  3. donner des garanties sur les solutions produites par les solveurs;
  4. donner des explications des résultats obtenus.




Organismes partenaires :

Financeur : ANR