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)
In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)
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
Other Research Topics and Application Domains:
- B6.6. - Embedded systems