IRISA – TEA

Effectifs (en ETP)

  • Chercheurs permanents : 3
  • Enseignants-Chercheurs :
  • Ingénieurs permanents : 0,5
  • Doctorants : 1
  • Post-Doctorants : 1

Domaine de recherche

  • synthese de code défensif (collaboration avec Virginia Tech)
  • synthese de protocoles pour le calibrage et la verification de capteurs en ligne (collaboration avec Virginia Tech)
  • simulation et vérification d’infrastructure (NAF, proposition DGA en cours)

Mots clés

Mots-clés ACM :

  • Méthodes formelles et aspects théoriques de la sécurité: Analyse des besoins en sécurité, Logique et vérification
  • Sécurité au niveau des services: Contrôle d’accès, Pseudonymes, anonymat et intraçabilité
  • Sécurité des systèmes: Sécurité des systèmes d’exploitation, Contrôle du flux d’information, Attaques par déni de service, Gestion des vulnérabilités, Sécurité des systèmes de fichiers

Responsables d'équipe

Jean-Pierre Talpin

Pourcentage global de l'activité de l'équipe

25%