Ehtesham Zahoor

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 13

Top Venues

Int. J. Web Serv. Res.

CollaborateCom

WISE

Comput. Secur.

Nancy 2 University, France (PHD)

Education History

Nancy 2 University, France

PHD

Publications

Uzma Mahar, Muhammad Aleem, Ehtesham Zahoor
TTECCDU: a blockchain-based approach for expressive authorization management. PeerJ Comput. Sci. 9 (2023)
Ehtesham Zahoor, Maryam Chaudhary, Sabina Akhtar, Olivier Perrin
A formal approach for the identification of redundant authorization policies in Kubernetes. Comput. Secur. 135 (2023)
Ehtesham Zahoor, Asim Ikram, Sabina Akhtar, Olivier Perrin
A Formal Approach for the Identification of Authorization Policy Conflicts within Multi-Cloud Environments. J. Grid Comput. 20 (2) (2022)
Hooria Khan, Ehtesham Zahoor, Sabina Akhtar, Olivier Perrin
A Blockchain-Based Approach for Secure Data Migration From the Cloud to the Decentralized Storage Systems. Int. J. Web Serv. Res. 19 (1) (2022)
Syed Noman Ali Sherazi, Ehtesham Zahoor, Sabina Akhtar, Olivier Perrin
A blockchain based approach for the authorization policies delegation in emergency situations. Trans. Emerg. Telecommun. Technol. 33 (5) (2022)
Sabina Akhtar, Ehtesham Zahoor
Formal Specification and Verification of MQTT Protocol in PlusCal-2. Wirel. Pers. Commun. 119 (2) (2021)
Ehtesham Zahoor, Uzma Bibi, Olivier Perrin
Shadowed Authorization Policies - A Disaster Waiting to Happen? WISE (2019)
Kashif Munir, Ehtesham Zahoor, Rafia Rahim, Xavier Lagrange, Jong-Hyouk Lee
Secure and Fault-Tolerant Distributed Location Management for Intelligent 5G Wireless Networks. IEEE Access 6 (2018)
Ehtesham Zahoor, Asim Ikram, Sabina Akhtar, Olivier Perrin
Authorization Policies Specification and Consistency Management within Multi-cloud Environments. NordSec (2018)
Ehtesham Zahoor, Zubaria Asma, Olivier Perrin
A Formal Approach for the Verification of AWS IAM Access Control Policies. ESOCC (2017)
Sabina Akhtar, Ehtesham Zahoor, Olivier Perrin
Formal Verification of Authorization Policies for Enterprise Social Networks Using PlusCal-2. CollaborateCom (2017)
Saima Noreen, Ehtesham Zahoor
CRC2: A Mediator Based Approach for Cloud Robotics. SERVICES (2016)
Ahmed Bouchami, Olivier Perrin, Ehtesham Zahoor
Trust-Based Formal Delegation Framework for Enterprise Social Networks. TrustCom/BigDataSE/ISPA (1) (2015)
Ehtesham Zahoor, Olivier Perrin, Ahmed Bouchami
CATT: A cloud based authorization framework with trust and temporal aspects. CollaborateCom (2014)
Ehtesham Zahoor, Kashif Munir, Olivier Perrin, Claude Godart
A Bounded Model Checking Approach for the Verification of Web Services Composition. Int. J. Web Serv. Res. 10 (4) (2013)
Ehtesham Zahoor, Olivier Perrin, Claude Godart
Web Services Composition Verification Using Satisfiability Solving. ICWS (2012)
Ehtesham Zahoor, Olivier Perrin, Claude Godart
An Event-Based Reasoning Approach to Web Services Monitoring. ICWS (2011)
Khaled Gaaloul, Henderik Alex Proper, Ehtesham Zahoor, François Charoy, Claude Godart
A logical framework for reasoning about delegation policies in workflow management systems. Int. J. Inf. Comput. Secur. 4 (4) (2011)
Khaled Gaaloul, Ehtesham Zahoor, François Charoy, Claude Godart
Dynamic Authorisation Policies for Event-Based Task Delegation. CAiSE (2010)
Ehtesham Zahoor, Olivier Perrin, Claude Godart
DISC-SeT: Handling Temporal and Security Aspects in the Web Services Composition. ECOWS (2010)
Ehtesham Zahoor, Olivier Perrin, Claude Godart
DISC: A Declarative Framework for Self-Healing Web Services Composition. ICWS (2010)
Ehtesham Zahoor, Olivier Perrin, Claude Godart
An Integrated Declarative Approach to Web Services Composition and Monitoring. WISE (2009)
Ehtesham Zahoor, Olivier Perrin, Claude Godart
Rule-Based Semi Automatic Web Services Composition. SERVICES I (2009)
Ehtesham Zahoor, Olivier Perrin, Claude Godart
Mashup Model and Verification Using Mashup Processing Network. CollaborateCom (2008)

Ehtesham Zahoor.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ehtesham Zahoor