Porteur du projet
VERIMAG (Yassine Lakhnech)
Partenaires
, VERIMAG, CNRS - DR7, CEDRIC, CNAM, EVEREST, INRIA Sophia Antipolis, LIP, CNRS - DR7, LRI, CNRS - DR4
Financeurs
ANR,
Scalp
Security of Cryptographic ALgorithms with Probabilities
Développement des outils d’aide à la preuve de propriétés de sécurité.
Porteur du projet
VERIMAG (Yassine Lakhnech)
Partenaires
, VERIMAG, CNRS - DR7, CEDRIC, CNAM, EVEREST, INRIA Sophia Antipolis, LIP, CNRS - DR7, LRI, CNRS - DR4
Financeurs
ANR,
| Thématique |
Marchés |
Investissement R&D |
Durée |
Année de financement |
Logiciel
Sécurité et Identités Numériques
|
-- |
1247 K€ |
48 mois |
2007 |
Thématique
Logiciel
Sécurité et Identités Numériques
Investissement R&D
1247 K€
Année de financement
2007
Retour à l'annuaire des projets