TAMIS, Threat Analysis and Mitigation for Information Security

L'équipe TAMIS développe des techniques d'attaque (sécurité offensive, EM, side channel, malware ...) et de défense (test, vérification formelle, ...) qui ont pour objectif de sécuriser des systèmes complexes.

L'équipe implémente les recherches effectuées au sein du Laboratoire de Haute Sécurité (LHS) à Rennes.

Orientations de la recherche

Analyse de la vulnérabilité

• Le point de vue de l'ingénieur et l'acquisition d'expérience
• Approches formelles pour l'analyse de la vulnérabilité
• Analyse de la vulnérabilité du matériel
• Analyse des canaux latéraux de la cryptographie post-quantique

Analyse des logiciels malveillants

• Analyse comportementale des logiciels malveillants
• Malware et génération de signatures
• Analyse du métal nu à l'aide d'informations provenant de canaux latéraux