Decrypt : DEclarative approach for symmetric CRYPTography
Responsable LIMOS : LAFOURCADE PascalCoordinateur : 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
- faciliter la modélisation des problèmes combinatoires qui sont sous-jacents aux primitives symétriques;
- efficacement résoudre ces problèmes en utilisant des solveurs de contraintes qui passent mieux à l'échelle que des approches dédiées;
- donner des garanties sur les solutions produites par les solveurs;
- donner des explications des résultats obtenus.
Organismes partenaires :
Financeur : ANR