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
XML PDF e-pub
PDF e-Pub

2017 Team Activity Report
Theoretical adverse computations, and safety
Inria teams are typically groups of researchers working on the definition of a common project, and objectives, with the goal to arrive at the creation of a project-team. Such project-teams may include other partners (universities or research institutions).
Research centre: Nancy - Grand Est

Field: Algorithmics, Programming, Software and Architecture
Theme: Security and Confidentiality
Computer Science and Digital Science:
  • A1.1.11. - Quantum architectures
  • A2.4.1. - Analysis
  • A4.5. - Formal methods for security
  • A7.2. - Logic in Computer Science
  • A8.6. - Information theory
  • A8.7. - Graph theory
Other Research Topics and Application Domains:
  • B9.4.1. - Computer science
  • B9.4.2. - Mathematics