Project leader
VERIMAG (Yassine Lakhnech)
Partners
, VERIMAG, CNRS - DR7, CEDRIC, CNAM, EVEREST, INRIA Sophia Antipolis, LIP, CNRS - DR7, LRI, CNRS - DR4
Funders
ANR,
Scalp
Security of Cryptographic ALgorithms with Probabilities
Development of tools to help proof security properties.
Project leader
VERIMAG (Yassine Lakhnech)
Partners
, VERIMAG, CNRS - DR7, CEDRIC, CNAM, EVEREST, INRIA Sophia Antipolis, LIP, CNRS - DR7, LRI, CNRS - DR4
Funders
ANR,
| Themes |
Markets |
R&D Investment |
Duration |
Funding Year |
Security and Digital Identities
Software
|
-- |
1247 K€ |
48 months |
2007 |
Themes
Security and Digital Identities
Software
Back to projects directory