Automatic Composition of Services with Security Policies. - Yannick Chevalier; Mohammed Anis Mekki; Michaël Rusinowitch (SERVICES I, 2008)

Orchestration under Security Constraints. - Yannick Chevalier; Mohammed Anis Mekki; Michaël Rusinowitch (FMCO, 2010)

Web Services Verification and Prudent Implementation. - Tigran Avanesov; Yannick Chevalier; Mohammed Anis Mekki; Michaël Rusinowitch (DPM/SETOP, 2011)

Distributed Orchestration of Web Services under Security Constraints. - Tigran Avanesov; Yannick Chevalier; Mohammed Anis Mekki; Michaël Rusinowitch; Mathieu Turuani (DPM/SETOP, 2011)

Synthèse et compilation de services web sécurisés. (Automatic synthesis of secured web services ). - Mohammed Anis Mekki (2011)