Sites Inria

Version française

TAMIS Research team

Threat Analysis and Mitigation for Information Security

Team presentation

Tamis is a new secrutiy team at Inria Rennes. The team studies new attacks (offensive security) on complex systems and technologies. It also study a panoply of test-based and formal methods approaches to detect vulnerability and malwares. The team implements the research done within the High Security Laboratory (LHS) leaded by Jean-Louis Lanet.

Research themes

Vulnerability analysis

Malware analysis

Banking systems

International and industrial relations

Aalborg University


Oberthure technology

University of Limoges

Telecom Bretagne

Keywords: Vulnerability Analysis Malware detection Offensive security Formal methods