TAMIS, Threat Analysis and Mitigation for Information Security

The TAMIS team develops attack techniques (offensive security, EM, side channel, malware ...) and defense techniques (testing, formal verification, ...) to secure complex systems.

The team implements the research done within the High Security Laboratory (LHS) in Rennes.

Research directions

Vulnerability analysis

• The engineering view, and experience acquirement
• Formal approaches for vulnerability analysis
• Hardware vulnerability analysis
• Side-channel analysis of post-quantum cryptography

Malware analysis

• Behavioral malware analysis
• Malware and signature generation
• Bare-metal analysis using side-channel information