Sites Inria

English version

Séminaire - Sécurité

Séminaire "Sécurité & méthodes formelles"

sécurité

  • Date : 3/12/2010
  • Lieu : Centre de recherche Inria Rennes - Bretagne Atlantique, salle Michel Métivier
  • Intervenant(s) : Yassine Lakhnech, Université de Grenoble, CNRS/VERIMAG

Le sujet de cette nouvelle édition : "Innocuity of Corruption for Key-Exchange Protocols"

Ce séminaire est ouvert à tous.
Inscription auprès de Lydie Mabil.

Mots-clés : Inria Rennes - Bretagne Atlantique Sécurité Séminaire Méthodes formelles

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !