TAMIS

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.