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)

VMGuard: State-Based Proactive Verification of Virtual Network Isolation With Application to NFV. - Gagandeep Singh Chawla; Mengyuan Zhang 001; Suryadipta Majumdar; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2021)

ProSAS: Proactive Security Auditing System for Clouds. - Suryadipta Majumdar; Gagandeep Singh Chawla; Amir Alimohammadifar; Taous Madi; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2022)