Research areas
Publications
Ph.D. Students
Tutorials
Invited talks
Projects
Contact
2012-2014
: Project
Dynamic resources and separation and update logics
within the context of the non-thematic program of the
ANR
.
2008-2010
: Project
Automated validation of trust and security of service-oriented architectures
within the context of the
Seventh Framework Programme (FP7) ICT
.
2006-2008
: Project
Composition of policies and services
within the context of the
Action de recherche amont Sécurité, systèmes embarqués et intelligence ambiante.
2006-2008
: Project
Structures de données avec pointeurs sûres
within the context of the
Action de recherche amont Sécurité, systèmes embarqués et intelligence ambiante
.
2003-2006
: Project
Développement de systèmes informatiques par raffinement des contraintes sécuritaires
within the context of the
Action concertée incitative Sécurité informatique
.
2003-2005
: Project
Applied non-classical logics
within the context of the Programme ECO-NET.
2001-2010
: Project
Computer security
within the context of the Fédération de recherche en informatique et en automatique.
©