Projets
- Projet CFQCU (2012-2014) :
réseau de recherche franco-québecois sur les
mesures quantitatives de la sécurité des systèmes
informatiques.
- ANR ImpRo
(Implementability and Robustness, 2010-2014). Le workshop final du
projet s'est tenu au LIP6 le 18 juin 2014, en conjonction avec les
journées du GT VERIF (GDR IM) et du GT FORWAL (GDR GPL) des 16 et 17
juin ( plus
d'infos).
- ANR DOTS
(Distributed Open Timed Systems
,
2006-2011), dont les thèmes de recherche étaient orientés sur le
model checking, le contrôle et la non interférence de systèmes
temporisés, ouverts et distribués.
Dans le cadre de ce projet, j'ai co-organisé, avec Didier Lime, le
Workshop DOTS
affilié à la conférence CONCUR
2010.
- DIM CoChaT (Covert Channels for Timed systems, 2009-2011), consacré aux
problèmes de détection et de synthèse de canaux cachés pour des
systèmes temporisés (pdf)
