Declarative language for Symmetric Cryptography – DeCrypt
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.
Partner
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
Help of the ANR 609,670 euros
Beginning and duration of the scientific project:
January 2019
- 48 Months
