Decrypt: DEclarative approach for symmetric CRYPTography

Responsable LIMOS : LAFOURCADE Pascal
Coordinator : Marine Minier
Begin of project : Sept. 15, 2018 - Fin du projet : Jan. 11, 2022


The goal of Decrypt project is to ease the design of symmetric primitives by providing tools that allow cryptographers to

  1. easily model combinatorial problems they need to solve by using high-level constraint-based languages, instead of implementing complicated algorithms;
  2. efficiently solve these problems by using CP solvers that should scale better than dedicated approaches;
  3. provide guarantees on the solutions computed by these solvers; and
  4. provide explanations of the results computed by CP solvers that may be used to build human-readable proofs.

partner organism :

Financeur : ANR