You are here

TAMIS

Leader: Axel LEGAY

Threat Analysis and Mitigation for Information Security

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.

Fact following teams: ESTASYS
Created since:: 01/01/16
Associated establishments:  Inria, CNRS

Location : Campus of Beaulieu, RENNES