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