Security Compliance Auditing of Identity and Access Management in the Cloud: Application to OpenStack. - Suryadipta Majumdar; Taous Madi; Yushun Wang; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (CloudCom, 2015)

Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack. - Taous Madi; Suryadipta Majumdar; Yushun Wang; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001 (CODASPY, 2016)

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)

PERMON: An OpenStack Middleware for Runtime Security Policy Enforcement in Clouds. - Azadeh Tabiban; Suryadipta Majumdar; Lingyu Wang 001; Mourad Debbabi (CNS, 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)

Cloud Security Auditing: Major Approaches and Existing Challenges. - Suryadipta Majumdar; Taous Madi; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (FPS, 2018)

Fast Control Channel Recovery for Resilient In-band OpenFlow Networks. - A. S. M. Asadujjaman; Elisa Rojas; Mohammad Shah Alam; Suryadipta Majumdar (NetSoft, 2018)

User-Level Runtime Security Auditing for the Cloud. - Suryadipta Majumdar; Taous Madi; Yushun Wang; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Inf. Forensics Secur., 2018)

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)

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)

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)

Proactively Extracting IoT Device Capabilities: An Application to Smart Homes. - Andy Dolan; Indrakshi Ray; Suryadipta Majumdar (DBSec, 2020)

A multi-level proactive security auditing framework for clouds through automated dependency building. - Suryadipta Majumdar (CCF Trans. Netw., 2020)

Artificial Packet-Pair Dispersion (APPD): A Blackbox Approach to Verifying the Integrity of NFV Service Chains. - A. S. M. Asadujjaman; Momen Oqaily; Yosr Jarraya; Suryadipta Majumdar; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (CNS, 2021)

Context-Aware IoT Device Functionality Extraction from Specifications for Ensuring Consumer Security. - Upakar Paudel; Andy Dolan; Suryadipta Majumdar; Indrakshi Ray (CNS, 2021)

Security Auditing of Internet of Things Devices in a Smart Home. - Suryadipta Majumdar; Daniel Bastos; Anoop Singhal (IFIP Int. Conf. Digital Forensics, 2021)

Towards an Attention-Based Accurate Intrusion Detection Approach. - Arunavo Dey; Md. Shohrab Hossain; Md. Nazmul Hoq; Suryadipta Majumdar (QSHINE, 2021)

Feature Reduction through Data Preprocessing for Intrusion Detection in IoT Networks. - Tania Tahmina Jui; Md. Nazmul Hoq; Suryadipta Majumdar; Md. Shohrab Hossain (TPS-ISA, 2021)

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)

SegGuard: Segmentation-Based Anonymization of Network Data in Clouds for Privacy-Preserving Security Auditing. - Momen Oqaily; Yosr Jarraya; Meisam Mohammady; Suryadipta Majumdar; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2021)

5GFIVer: Functional Integrity Verification for 5G Cloud-Native Network Functions. - A. S. M. Asadujjaman; Mohammad Ekramul Kabir; Hinddeep Purohit; Suryadipta Majumdar; Lingyu Wang 001; Yosr Jarraya; Makan Pourzandi (CloudCom, 2022)

ProSPEC: Proactive Security Policy Enforcement for Containers. - Hugo Kermabon-Bobinnec; Mahmood Gholipourchoubeh; Sima Bagheri; Suryadipta Majumdar; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001 (CODASPY, 2022)

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)

DPOAD: Differentially Private Outsourcing of Anomaly Detection through Iterative Sensitivity Learning. - Meisam Mohammady; Han Wang 021; Lingyu Wang 001; Mengyuan Zhang 001; Yosr Jarraya; Suryadipta Majumdar; Makan Pourzandi; Mourad Debbabi; Yuan Hong 001 (CoRR, 2022)

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)

Towards Evaluation and Understanding of Large Language Models for Cyber Operation Automation. - Madeena Sultana; Adrian Taylor; Li Li 009; Suryadipta Majumdar (CNS, 2023)

A Tenant-based Two-stage Approach to Auditing the Integrity of Virtual Network Function Chains Hosted on Third-Party Clouds. - Momen Oqaily; Suryadipta Majumdar; Lingyu Wang 001; Mohammad Ekramul Kabir; Yosr Jarraya; A. S. M. Asadujjaman; Makan Pourzandi; Mourad Debbabi (CODASPY, 2023)

Evaluating the Security Posture of 5G Networks by Combining State Auditing and Event Monitoring. - Md. Nazmul Hoq; Jia Wei Yao; Suryadipta Majumdar; Luis Suárez; Lingyu Wang 001; Amine Boukhtouta; Makan Pourzandi; Mourad Debbabi (ESORICS (2), 2023)

Warping the Defence Timeline: Non-Disruptive Proactive Attack Mitigation for Kubernetes Clusters. - Sima Bagheri; Hugo Kermabon-Bobinnec; Suryadipta Majumdar; Yosr Jarraya; Lingyu Wang 001; Makan Pourzandi (ICC, 2023)

Layered Security Analysis for Container Images: Expanding Lightweight Pre-Deployment Scanning. - Shafayat H. Majumder; Sourov Jajodia; Suryadipta Majumdar; Md. Shohrab Hossain (PST, 2023)

On Reducing Underutilization of Security Standards by Deriving Actionable Rules: An Application to IoT. - Md. Wasiuddin Pathan Shuvo; Md. Nazmul Hoq; Suryadipta Majumdar; Paria Shirani (SSR, 2023)

On Detecting Malicious Code Injection by Monitoring Multi-Level Container Activities. - Md. Olid Hasan Bhuiyan; Souvik Das; Shafayat H. Majumder; Suryadipta Majumdar; Md. Shohrab Hossain (CLOSER, 2024)

CCSM: Building Cross-Cluster Security Models for Edge-Core Environments Involving Multiple Kubernetes Clusters. - Mahmood Gholipourchoubeh; Hugo Kermabon-Bobinnec; Suryadipta Majumdar; Yosr Jarraya; Lingyu Wang 001; Boubakr Nour; Makan Pourzandi (CODASPY, 2024)

Phoenix: Surviving Unpatched Vulnerabilities via Accurate and Efficient Filtering of Syscall Sequences. - Hugo Kermabon-Bobinnec; Yosr Jarraya; Lingyu Wang 001; Suryadipta Majumdar; Makan Pourzandi (NDSS, 2024)

On Continuously Verifying Device-level Functional Integrity by Monitoring Correlated Smart Home Devices. - Shiva Sunar; Paria Shirani; Suryadipta Majumdar; J. David Brown (WISEC, 2024)

iCAT+: An Interactive Customizable Anonymization Tool Using Automated Translation Through Deep Learning. - Momen Oqaily; Mohammad Ekramul Kabir; Suryadipta Majumdar; Yosr Jarraya; Mengyuan Zhang 001; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2024)

Caught-in-Translation (CiT): Detecting Cross-Level Inconsistency Attacks in Network Functions Virtualization (NFV). - Sudershan Lakshmanan Thirunavukkarasu; Mengyuan Zhang 001; Suryadipta Majumdar; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001 (IEEE Trans. Dependable Secur. Comput., 2024)

ACE-WARP: A Cost-Effective Approach to Proactive and Non-Disruptive Incident Response in Kubernetes Clusters. - Sima Bagheri; Hugo Kermabon-Bobinnec; Mohammad Ekramul Kabir; Suryadipta Majumdar; Lingyu Wang 001; Yosr Jarraya; Boubakr Nour; Makan Pourzandi (IEEE Trans. Inf. Forensics Secur., 2024)

Traditional IOCs Meet Dynamic App-Device Interactions for IoT-Specific Threat Intelligence. - Sofya Smolyakova; Ehsan Khodayarseresht; Suryadipta Majumdar (IEEE Internet Things J., 2024)

PerfSPEC: Performance Profiling-Based Proactive Security Policy Enforcement for Containers. - Hugo Kermabon-Bobinnec; Sima Bagheri; Mahmood Gholipourchoubeh; Suryadipta Majumdar; Yosr Jarraya; Lingyu Wang 001; Makan Pourzandi (IEEE Trans. Dependable Secur. Comput., 2025)

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)