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%