Fog Computing Over IoT: A Secure Deployment and Formal Verification. - Samman Zahra; Masoom Alam; Qaisar Javaid; Abdul Wahid; Nadeem Javaid; Saif Ur Rehman Malik; Muhammad Khurram Khan (IEEE Access, 2017)

Cross-Domain Security and Interoperability in Internet of Things. - Samman Zahra; Wei Gong 001; Hasan Ali Khattak; Munam Ali Shah; Houbing Song (IEEE Internet Things J., 2022)