Declarative Languages for Symmetric Cryptography (DeCrypt)
Type of project: ANRContract dates: 01/01/2019 - 01/01/2022
Team: M2DisCo
: Partenaires: Institut de Recherche en Informatique et Systèmes Aléatoires (UMR 6074), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (UMR 6158), Laboratoire lorrain de Recherche en Informatique et ses Applications (UMR 7503), Laboratoire des Sciences du Numérique de Nantes (UMR 6004)