Proactive Verification of Security Compliance for Clouds Through Pre-computation: Application to OpenStack. - Suryadipta Majumdar; Yosr Jarraya; Taous Madi; Amir Alimohammadifar; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (ESORICS (1), 2016)

LeaPS: Learning-Based Proactive Security Auditing for Clouds. - Suryadipta Majumdar; Yosr Jarraya; Momen Oqaily; Amir Alimohammadifar; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (ESORICS (2), 2017)

TenantGuard: Scalable Runtime Verification of Cloud-Wide VM-Level Network Isolation. - Yushun Wang; Taous Madi; Suryadipta Majumdar; Yosr Jarraya; Amir Alimohammadifar; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (NDSS, 2017)

QuantiC: Distance Metrics for Evaluating Multi-Tenancy Threats in Public Cloud. - Taous Madi; Mengyuan Zhang 001; Yosr Jarraya; Amir Alimohammadifar; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (CloudCom, 2018)

Stealthy Probing-Based Verification (SPV): An Active Approach to Defending Software Defined Networks Against Topology Poisoning Attacks. - Amir Alimohammadifar; Suryadipta Majumdar; Taous Madi; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (ESORICS (2), 2018)

Learning probabilistic dependencies among events for proactive security auditing in clouds. - Suryadipta Majumdar; Azadeh Tabiban; Yosr Jarraya; Momen Oqaily; Amir Alimohammadifar; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (J. Comput. Secur., 2019)

ISOTOP: Auditing Virtual Networks Isolation Across Cloud Layers in OpenStack. - Taous Madi; Yosr Jarraya; Amir Alimohammadifar; Suryadipta Majumdar; Yushun Wang; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (ACM Trans. Priv. Secur., 2019)

Cloud Security Auditing - Suryadipta Majumdar; Taous Madi; Yushun Wang; Azadeh Tabiban; Momen Oqaily; Amir Alimohammadifar; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (Springer, 2019)

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)