Decrypt : DEclarative approach for symmetric CRYPTography

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.