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%