Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Toccata
SCALP

ANR
Janv. 2008 - Déc. 2011

Equipe : Toccata
Responsable : PAULIN-MOHRING Christine

Gestionnaire : 
Organisme gérant : CNRS

Security of Cryptographic Algorithms with Probabilities



Activités de recherche
  Preuve de programme
  Algorithmes probabilistes

Membres LRI

Publications : http://scalp.gforge.inria.fr/
Pour en savoir plus : http://scalp.gforge.inria.fr/
Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° ERC ONE
ERC ONE
CONTRAT EUROPEEN

° NEXT
NEXT

° SOFTQPRO
SOFTQPRO
ANR