Mashup Model and Verification Using Mashup Processing Network. - Ehtesham Zahoor; Olivier Perrin 001; Claude Godart (CollaborateCom, 2008)

Rule-Based Semi Automatic Web Services Composition. - Ehtesham Zahoor; Olivier Perrin 001; Claude Godart (SERVICES I, 2009)

An Integrated Declarative Approach to Web Services Composition and Monitoring. - Ehtesham Zahoor; Olivier Perrin 001; Claude Godart (WISE, 2009)

Dynamic Authorisation Policies for Event-Based Task Delegation. - Khaled Gaaloul; Ehtesham Zahoor; François Charoy; Claude Godart (CAiSE, 2010)

DISC-SeT: Handling Temporal and Security Aspects in the Web Services Composition. - Ehtesham Zahoor; Olivier Perrin 001; Claude Godart (ECOWS, 2010)

DISC: A Declarative Framework for Self-Healing Web Services Composition. - Ehtesham Zahoor; Olivier Perrin 001; Claude Godart (ICWS, 2010)

An Event-Based Reasoning Approach to Web Services Monitoring. - Ehtesham Zahoor; Olivier Perrin 001; Claude Godart (ICWS, 2011)

A logical framework for reasoning about delegation policies in workflow management systems. - Khaled Gaaloul; Henderik Alex Proper; Ehtesham Zahoor; François Charoy; Claude Godart (Int. J. Inf. Comput. Secur., 2011)

Web services governance : Security and Data handling aspects. (Gouvernance de service : aspects sécurité et données). - Ehtesham Zahoor (2011)

Web Services Composition Verification Using Satisfiability Solving. - Ehtesham Zahoor; Olivier Perrin 001; Claude Godart (ICWS, 2012)

A Bounded Model Checking Approach for the Verification of Web Services Composition. - Ehtesham Zahoor; Kashif Munir; Olivier Perrin 001; Claude Godart (Int. J. Web Serv. Res., 2013)

CATT: A cloud based authorization framework with trust and temporal aspects. - Ehtesham Zahoor; Olivier Perrin 001; Ahmed Bouchami (CollaborateCom, 2014)

Trust-Based Formal Delegation Framework for Enterprise Social Networks. - Ahmed Bouchami; Olivier Perrin 001; Ehtesham Zahoor (TrustCom/BigDataSE/ISPA (1), 2015)

CRC2: A Mediator Based Approach for Cloud Robotics. - Saima Noreen; Ehtesham Zahoor (SERVICES, 2016)

Formal Verification of Authorization Policies for Enterprise Social Networks Using PlusCal-2. - Sabina Akhtar; Ehtesham Zahoor; Olivier Perrin 001 (CollaborateCom, 2017)

A Formal Approach for the Verification of AWS IAM Access Control Policies. - Ehtesham Zahoor; Zubaria Asma; Olivier Perrin 001 (ESOCC, 2017)

Authorization Policies Specification and Consistency Management within Multi-cloud Environments. - Ehtesham Zahoor; Asim Ikram; Sabina Akhtar; Olivier Perrin 001 (NordSec, 2018)

Secure and Fault-Tolerant Distributed Location Management for Intelligent 5G Wireless Networks. - Kashif Munir; Ehtesham Zahoor; Rafia Rahim; Xavier Lagrange; Jong-Hyouk Lee (IEEE Access, 2018)

Shadowed Authorization Policies - A Disaster Waiting to Happen? - Ehtesham Zahoor; Uzma Bibi; Olivier Perrin 001 (WISE, 2019)

Formal Specification and Verification of MQTT Protocol in PlusCal-2. - Sabina Akhtar; Ehtesham Zahoor (Wirel. Pers. Commun., 2021)

A blockchain based approach for the authorization policies delegation in emergency situations. - Syed Noman Ali Sherazi; Ehtesham Zahoor; Sabina Akhtar; Olivier Perrin 001 (Trans. Emerg. Telecommun. Technol., 2022)

A Formal Approach for the Identification of Authorization Policy Conflicts within Multi-Cloud Environments. - Ehtesham Zahoor; Asim Ikram; Sabina Akhtar; Olivier Perrin 001 (J. Grid Comput., 2022)

A Blockchain-Based Approach for Secure Data Migration From the Cloud to the Decentralized Storage Systems. - Hooria Khan; Ehtesham Zahoor; Sabina Akhtar; Olivier Perrin 001 (Int. J. Web Serv. Res., 2022)

TTECCDU: a blockchain-based approach for expressive authorization management. - Uzma Mahar; Muhammad Aleem; Ehtesham Zahoor (PeerJ Comput. Sci., 2023)

A formal approach for the identification of redundant authorization policies in Kubernetes. - Ehtesham Zahoor; Maryam Chaudhary; Sabina Akhtar; Olivier Perrin 001 (Comput. Secur., 2023)