CE39 - Sécurité Globale et Cybersécurité

Declarative language for Symmetric Cryptography – DeCrypt

Submission summary

This project aims to propose a declarative language dedicated to cryptanalytic problems in symmetric key cryptography using constraint programming (CP) to simplify the representation of attacks, to improve existing attacks and to build new cryptographic primitives that withstand these attacks.

We also want to compare the different tools that can be used to solve these problems: SAT and MILP where the constraints are homogeneous and CP where the heterogeneous constraints can allow a more complex treatment. One of the challenges of this project will be to define global constraints dedicated to the case of symmetric cryptography.

Concerning constraint programming, this project will define new dedicated global constraints, will improve the underlying filtering and solution search algorithms and will propose dedicated explanations generated automatically.

Project coordination

Marine MINIER (Laboratoire lorrain de recherche en informatique et ses applications)

The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.


IRISA Institut de Recherche en Informatique et Systèmes Aléatoires
LIMOS Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
LS2N Laboratoire des Sciences du Numérique de Nantes
LORIA Laboratoire lorrain de recherche en informatique et ses applications

Help of the ANR 609,670 euros
Beginning and duration of the scientific project: January 2019 - 48 Months

Useful links

Explorez notre base de projets financés



ANR makes available its datasets on funded projects, click here to find more.

Sign up for the latest news:
Subscribe to our newsletter