IRISA – LogicA

Effectifs (en ETP)

  • Chercheurs permanents :0
  • Enseignants-Chercheurs :2
  • Ingénieurs permanents :0
  • Doctorants :2
  • Post-Doctorants :0

Domaine de recherche

arbre d’attaques

Mots clés

Liste de mots clés décrivant les activités en lien avec la Cyber :

  • arbres d’attaque

 

Mots-clés ACM:

Méthodes formelles et aspects théoriques de la sécurité : Security requirements, Formal security models, Logic and verification Analyse des besoins en sécurité, Modèles formels en sécurité, Logique et vérification

Détection d’intrusion et contremesures aux logiciels malveillants: Systèmes de détection d’intrusion

Facteurs humains: Aspects sociétaux : sécurité et protection de la vie privée

Responsables d'équipe

Sophie Pinchinat

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

25%