Modeling NFV Deployment to Identify the Cross-Level Inconsistency Vulnerabilities. - Sudershan Lakshmanan Thirunavukkarasu; Mengyuan Zhang 001; Alaa Oqaily; Gagandeep Singh Chawla; Lingyu Wang 001; Makan Pourzandi; Mourad Debbabi (CloudCom, 2019)

Multi-Level Proactive Security Auditing for Clouds. - Suryadipta Majumdar; Azadeh Tabiban; Meisam Mohammady; Alaa Oqaily; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (DSC, 2019)

Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement. - Suryadipta Majumdar; Azadeh Tabiban; Meisam Mohammady; Alaa Oqaily; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (ESORICS (2), 2019)

NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack. - Alaa Oqaily; Sudershan Lakshmanan Thirunavukkarasu; Yosr Jarraya; Suryadipta Majumdar; Mengyuan Zhang 001; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (CloudCom, 2020)

MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV). - Alaa Oqaily; Yosr Jarraya; Lingyu Wang 001; Makan Pourzandi; Suryadipta Majumdar (ESORICS (3), 2022)

Cross-Level Security Verification for Network Functions Virtualization (NFV). - Alaa Oqaily; Mohammad Ekramul Kabir; Lingyu Wang 001; Yosr Jarraya; Suryadipta Majumdar; Makan Pourzandi; Mourad Debbabi; Sudershan Lakshmanan Thirunavukkarasu; Mengyuan Zhang 001 (IEEE Trans. Dependable Secur. Comput., 2025)