Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


2018 Project-Team Activity Report
TAMIS
Threat Analysis and Mitigation for Information Security
Research centre: Rennes - Bretagne-Atlantique
In partnership with: CNRS, CentraleSupélec
In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)

Field: Algorithmics, Programming, Software and Architecture
Theme: Security and Confidentiality
Keywords:
Computer Science and Digital Science:
  • A4. - Security and privacy
  • A4.1. - Threat analysis
  • A4.3. - Cryptography
  • A4.4. - Security of equipment and software
  • A4.5. - Formal methods for security