Decrypt: DEclarative approach for symmetric CRYPTography
Responsable LIMOS : LAFOURCADE PascalCoordinator : Marine Minier
Begin of project : Sept. 15, 2018 - Fin du projet : Jan. 11, 2022
URL : https://decrypt.limos.fr/
The goal of Decrypt project is to ease the design of symmetric primitives by providing tools that allow cryptographers to
- easily model combinatorial problems they need to solve by using high-level constraint-based languages, instead of implementing complicated algorithms;
- efficiently solve these problems by using CP solvers that should scale better than dedicated approaches;
- provide guarantees on the solutions computed by these solvers; and
- provide explanations of the results computed by CP solvers that may be used to build human-readable proofs.
partner organism :
Financeur : ANR