2013 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)
In collaboration with: Laboratoire d'informatique de l'école polytechnique (LIX)
Keywords: Concurrency, Constraints, Information Theory, Quantitative Information Flow, Privacy