Declarative Languages for Symmetric Cryptography (DeCrypt)
Type de projet : ANRDates du contrat : 01/01/2019 - 01/01/2022
Équipe : M2DisCo
: Partenaires : Institut de Recherche en Informatique et Systèmes Aléatoires, Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (UMR 6158), Laboratoire lorrain de Recherche en Informatique et ses Applications, Laboratoire des Sciences du Numérique de Nantes