Project-Team Comete
Members
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

up Home | Next next

2016 Project-Team Activity Report
COMETE
Concurrency, Mobility and Transactions
Research centre: Saclay - Île-de-France
In partnership with: CNRS, Ecole Polytechnique
In collaboration with: Laboratoire d'informatique de l'école polytechnique (LIX)

Field: Algorithmics, Programming, Software and Architecture
Theme: Security and Confidentiality
Keywords:
Computer Science and Digital Science:
  • 2.1.1. - Semantics of programming languages
  • 2.1.5. - Constraint programming
  • 2.1.6. - Concurrent programming
  • 2.1.8. - Synchronous languages
  • 2.4.1. - Analysis
  • 2.4.2. - Model-checking
  • 4.5. - Formal methods for security
  • 4.8. - Privacy-enhancing technologies
Other Research Topics and Application Domains:
  • 6.1. - Software industry
  • 6.6. - Embedded systems
  • 9.4.1. - Computer science
  • 9.8. - Privacy