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, Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes, Laboratoire lorrain de Recherche en Informatique et ses Applications, Laboratoire des Sciences du Numérique de Nantes