A Model-Driven Framework for Trusted Computing Based Systems. - Masoom Alam; Jean-Pierre Seifert; Xinwen Zhang (EDOC, 2007)

Usage control platformization via trustworthy SELinux. - Masoom Alam; Jean-Pierre Seifert; Qi Li 002; Xinwen Zhang (AsiaCCS, 2008)

Model-based behavioral attestation. - Masoom Alam; Xinwen Zhang; Mohammad Nauman; Tamleek Ali; Jean-Pierre Seifert (SACMAT, 2008)

Behavioral attestation for web services (BA4WS). - Masoom Alam; Xinwen Zhang; Mohammad Nauman; Tamleek Ali (SWS, 2008)

Model driven security for the realization of dynamic security requirements in collaborative systems. - Masoom Alam (2008)

Realizing dynamic behavior attestation for mobile platforms. - Shahbaz Khan 003; Sanaullah Khan; Mohammad Nauman; Tamleek Ali; Masoom Alam (FIT, 2009)

SAuthMash: mobile agent based self authorization in mashups. - Imran Khan 007; Mohammad Nauman; Masoom Alam; Furqan Aziz (FIT, 2009)

Behavioral Attestation for Business Processes. - Masoom Alam; Mohammad Nauman; Xinwen Zhang; Tamleek Ali; Patrick C. K. Hung (ICWS, 2009)

Scalable Remote Attestation with Privacy Protection. - Tamleek Ali Tanveer; Masoom Alam; Mohammad Nauman (INTRUST, 2009)

Remote Attestation of Attribute Updates and Information Flows in a UCON System. - Mohammad Nauman; Masoom Alam; Xinwen Zhang; Tamleek Ali (TRUST, 2009)

MAuth: A Fine-Grained and User-centric Permission Delegation Framework for Multi-mashup Web Services. - Masoom Alam; Xinwen Zhang; Mohammad Nauman; Sohail Khan; Quratulain Alam (SERVICES, 2010)

Behavioral Attestation for Web Services Based Business Processes. - Masoom Alam; Mohammad Nauman; Xinwen Zhang; Tamleek Ali; Patrick C. K. Hung (Int. J. Web Serv. Res., 2010)

xDAuth: a scalable and lightweight framework for cross domain access control and delegation. - Masoom Alam; Xinwen Zhang; Kamran Khan; Gohar Ali (SACMAT, 2011)

An Android runtime security policy enforcement framework. - Hammad Banuri; Masoom Alam; Shahryar Khan; Jawad Manzoor; Bahar Ali; Yasar Khan; Mohsin Yaseen; Mir Nauman Tahir; Tamleek Ali; Quratulain Alam; Xinwen Zhang (Pers. Ubiquitous Comput., 2012)

Analysis of existing remote attestation techniques. - Masoom Alam; Tamleek Ali; Sanaullah Khan; Shahbaz Khan 003; Muhammad Ali; Mohammad Nauman; Amir Hayat; Muhammad Khurram Khan; Khaled Alghathbar (Secur. Commun. Networks, 2012)

Secure Actor Directed Localization in Wireless Sensor and Actor Networks. - Tamleek Ali; Muazzam Ali Khan; Amir Hayat; Masoom Alam; Muhammad Ali (Int. J. Distributed Sens. Networks, 2013)

Behavioral Attestation for Web Services using access policies. - Masoom Alam; Xinwen Zhang; Mohammad Nauman; Tamleek Ali; Muhammad Ali; Sajid Anwar; Quratulain Alam (Multim. Tools Appl., 2013)

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 Balanced Energy-Consuming and Hole-Alleviating Algorithm for Wireless Sensor Networks. - Naeem Jan; Nadeem Javaid; Qaisar Javaid; Nabil Ali Alrajeh; Masoom Alam; Zahoor Ali Khan; Iftikhar Azim Niaz (IEEE Access, 2017)

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)

On energy efficiency in underwater wireless sensor networks with cooperative routing. - Ashfaq Ahmad 001; Sheeraz Ahmed; Muhammad Imran 001; Masoom Alam; Iftikhar Azim Niaz; Nadeem Javaid (Ann. des Télécommunications, 2017)

Towards a set aggregation-based data integrity scheme for smart grids. - Mouzna Tahir; Abid Khan; Abdul Hameed; Masoom Alam; Muhammad Khurram Khan; Farhana Jabeen (Ann. des Télécommunications, 2017)

A high-level domain-specific language for SIEM (design, development and formal verification). - Anam Nazir; Masoom Alam; Saif Ur Rehman Malik; Adnan Akhunzada; Muhammad Nadeem Cheema; Muhammad Khurram Khan; Yang Ziang; Tanveer Khan; Abid Khan (Clust. Comput., 2017)

τ-safety: A privacy model for sequential publication with arbitrary updates. - Adeel Anjum; Guillaume Raschia; Marc Gelgon; Abid Khan; Saif Ur Rehman Malik; Naveed Ahmad 001; Mansoor Ahmed; Sabah Suhail; Masoom Alam (Comput. Secur., 2017)

A survey of cloud computing data integrity schemes: Design challenges, taxonomy and future trends. - Faheem Zafar; Abid Khan; Saif Ur Rehman Malik; Mansoor Ahmed; Adeel Anjum; Majid Iqbal Khan; Nadeem Javed; Masoom Alam; Fuzel Jamil (Comput. Secur., 2017)

Formal modeling and verification of security controls for multimedia systems in the cloud. - Masoom Alam; Saif Ur Rehman Malik; Qaisar Javed; Abid Khan; Shamaila Bisma Khan; Adeel Anjum; Nadeem Javed; Adnan Akhunzada; Muhammad Khurram Khan (Multim. Tools Appl., 2017)

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)

Detection of rank attack in routing protocol for Low Power and Lossy Networks. - Usman Shafique; Abid Khan; Abdur Rehman; Faisal Bashir; Masoom Alam (Ann. des Télécommunications, 2018)

Vector Based Genetic Algorithm to optimize predictive analysis in network security. - Sidra Ijaz; Faheel A. Hashmi; Sohail Asghar; Masoom Alam (Appl. Intell., 2018)

Secure policy execution using reusable garbled circuit in the cloud. - Masoom Alam; Naina Emmanuel; Tanveer Khan; Abid Khan; Nadeem Javaid; Kim-Kwang Raymond Choo; Rajkumar Buyya (Future Gener. Comput. Syst., 2018)

A thin client friendly trusted execution framework for infrastructure-as-a-service clouds. - Imran Khan 007; Habib-ur Rehman 002; Mohammad Hussein Fayiz Al-khatib; Zahid Anwar; Masoom Alam (Future Gener. Comput. Syst., 2018)

Garbled role-based access control in the cloud. - Masoom Alam; Naina Emmanuel; Tanveer Khan; Yang Xiang 001; Houcine Hassan (J. Ambient Intell. Humaniz. Comput., 2018)

Structures and data preserving homomorphic signatures. - Naina Emmanuel; Abid Khan; Masoom Alam; Tanveer Khan; Muhammad Khurram Khan (J. Netw. Comput. Appl., 2018)

Recent advancements in garbled computing: How far have we come towards achieving secure, efficient and reusable garbled circuits. - Ahsan Saleem; Abid Khan; Furqan Shahid; Masoom Alam; Muhammad Khurram Khan (J. Netw. Comput. Appl., 2018)

A Novel Internet of Things-Centric Framework to Mine Malicious Frequent Patterns. - Nighat Usman; Qaisar Javaid; Adnan Akhunzada; Kim-Kwang Raymond Choo; Saeeda Usman; Asma Sher; Manzoor Ilahi; Masoom Alam (IEEE Access, 2019)

Privacy aware IOTA ledger: Decentralized mixing and unlinkable IOTA transactions. - Umair Sarfraz; Masoom Alam; Sherali Zeadally; Abid Khan (Comput. Networks, 2019)

Holistic approach for coupling privacy with safety in VANETs. - Abdul Wahid; Humera Yasmeen; Munam Ali Shah; Masoom Alam; Sayed Chhattan Shah (Comput. Networks, 2019)

Privacy aware decentralized access control system. - Sehrish Shafeeq; Masoom Alam; Abid Khan (Future Gener. Comput. Syst., 2019)

Near-miss situation based visual analysis of SIEM rules for real time network security monitoring. - Abdul Majeed; Raihan Ur Rasool; Farooq Ahmad; Masoom Alam; Nadeem Javaid (J. Ambient Intell. Humaniz. Comput., 2019)

Towards augmented proactive cyberthreat intelligence. - Tanveer Khan; Masoom Alam; Adnan Akhunzada; Ali Hur; Muhammad Asif; Muhammad Khurram Khan (J. Parallel Distributed Comput., 2019)

Blockchain-Based Agri-Food Supply Chain: A Complete Solution. - Affaf Shahid; Ahmad Almogren; Nadeem Javaid; Fahad Ahmed Al-Zahrani; Mansour Zuair; Masoom Alam (IEEE Access, 2020)

FESDA: Fog-Enabled Secure Data Aggregation in Smart Grid IoT Network. - Ahsan Saleem; Abid Khan; Saif Ur Rehman Malik; Haris Pervaiz; Hassan Malik; Masoom Alam; Anish Jindal (IEEE Internet Things J., 2020)

Outsourcing IOTA proof-of-work to volunteer public devices. - Umair Sarfraz; Sherali Zeadally; Masoom Alam (Secur. Priv., 2020)

Curbing Address Reuse in the IOTA Distributed Ledger: A Cuckoo-Filter-Based Approach. - Sehrish Shafeeq; Sherali Zeadally; Masoom Alam; Abid Khan (IEEE Trans. Engineering Management, 2020)

Attack Specification Language: Domain Specific Language for Dynamic Training in Cyber Range. - Sobia Arshad; Masoom Alam; Saif Al-Kuwari; Muhammad Haider Ali Khan (EDUCON, 2021)

Last Line of Defense: Reliability Through Inducing Cyber Threat Hunting With Deception in SCADA Networks. - Abdul Basit Ajmal; Masoom Alam; Awais Abdul Khaliq; Shawal Khan; Zakria Qadir; M. A. Parvez Mahmud (IEEE Access, 2021)

ABKS-PBM: Attribute-Based Keyword Search With Partial Bilinear Map. - Shawal Khan; Shahzad Khan 001; Mahdi Zareei; Faisal S. Alanazi; Nazri Kama; Masoom Alam; Adeel Anjum (IEEE Access, 2021)

OO-ABMS: Online/Offline-Aided Attribute-Based Multi-Keyword Search. - Shahzad Khan 001; Mahdi Zareei; Shawal Khan; Faisal S. Alanazi; Masoom Alam; Abdul Waheed (IEEE Access, 2021)

Offensive Security: Cyber Threat Intelligence Enrichment With Counterintelligence and Counterattack. - Muhammad Usman Rana; Osama Ellahi; Masoom Alam; Julian L. Webber; Abolfazl Mehbodniya; Shawal Khan (IEEE Access, 2022)

Toward Effective Evaluation of Cyber Defense: Threat Based Adversary Emulation Approach. - Abdul Basit Ajmal; Shawal Khan; Masoom Alam; Abolfazl Mehbodniya; Julian L. Webber; Abdul Waheed (IEEE Access, 2023)