Formal Verification of the xDAuth Protocol. - Quratulain Alam; Saher Tabbasum; Saif Ur Rehman Malik; Masoom Alam; Tamleek Ali; Adnan Akhunzada; Samee Ullah Khan; Athanasios V. Vasilakos; Rajkumar Buyya (IEEE Trans. Inf. Forensics Secur., 2016)

A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification. - Quratulain Alam; Saif Ur Rehman Malik; Adnan Akhunzada; Kim-Kwang Raymond Choo; Saher Tabbasum; Masoom Alam (IEEE Trans. Inf. Forensics Secur., 2017)