A High-Level Language for Modeling Algorithms and Their Properties. - Sabina Akhtar; Stephan Merz; Martin Quinson (SBMF, 2010)

Formal Verification of Distributed Algorithms using PlusCal-2. (Vérification Formelle d'Algorithmes Distribués en PlusCal-2). - Sabina Akhtar (2012)

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

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

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)

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