Team, Visitors, External Collaborators
Overall Objectives
Research Program
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


2019 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