A Unified Approach for Verification and Validation of Systems and Software Engineering Models. - Luay Alawneh; Mourad Debbabi; Yosr Jarraya; Andrei Soeanu; Fawzi Hassaïne (ECBS, 2006)

Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models. - Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Payam Shahi; Andrei Soeanu (IASTED Conf. on Software Engineering, 2006)

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. - Yosr Jarraya; Andrei Soeanu; Mourad Debbabi; Fawzi Hassaïne (ECBS, 2007)

On the Meaning of SysML Activity Diagrams. - Yosr Jarraya; Mourad Debbabi; Jamal Bentahar (ECBS, 2009)

Synergistic verification and validation of systems and software engineering models. - Yosr Jarraya; Andrei Soeanu; Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne (Int. J. Gen. Syst., 2009)

Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models. - Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh (Springer, 2010)

Model-based systems security quantification. - Samir Ouchani; Yosr Jarraya; Otmane Aït Mohamed (PST, 2011)

Cloud calculus: Security verification in elastic cloud computing platform. - Yosr Jarraya; Arash Eghtesadi; Mourad Debbabi; Ying Zhang 022; Makan Pourzandi (CTS, 2012)

Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. - Yosr Jarraya; Arash Eghtesadi; Mourad Debbabi; Ying Zhang 022; Makan Pourzandi (SSS, 2012)

Formal Specification and Probabilistic Verification of SysML Activity Diagrams. - Yosr Jarraya; Mourad Debbabi (TASE, 2012)

Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. - Samir Ouchani; Yosr Jarraya; Otmane Aït Mohamed; Mourad Debbabi (J. Softw., 2012)

Towards a Distributed Plan Execution Monitoring Framework. - Yosr Jarraya; Sujoy Ray; Andrei Soeanu; Mourad Debbabi; Mohamad Allouche; Jean Berger (ANT/SEIT, 2013)

Preservation of Security Configurations in the Cloud. - Arash Eghtesadi; Yosr Jarraya; Mourad Debbabi; Makan Pourzandi (IC2E, 2014)

A Survey and a Layered Taxonomy of Software-Defined Networking. - Yosr Jarraya; Taous Madi; Mourad Debbabi (IEEE Commun. Surv. Tutorials, 2014)

Quantitative and qualitative analysis of SysML activity diagrams. - Yosr Jarraya; Mourad Debbabi (Int. J. Softw. Tools Technol. Transf., 2014)

Multistage OCDO: Scalable Security Provisioning Optimization in SDN-Based Cloud. - Yosr Jarraya; Alireza Shameli-Sendi; Makan Pourzandi; Mohamed Cheriet (CLOUD, 2015)

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)

Optimal placement of sequentially ordered virtual security appliances in the cloud. - Alireza Shameli-Sendi; Yosr Jarraya; Mohamed Fekih Ahmed; Makan Pourzandi; Chamseddine Talhi; Mohamed Cheriet (IM, 2015)

Towards migrating security policies of virtual machines in Software Defined Networks. - Sahba Sadri; Yosr Jarraya; Arash Eghtesadi; Mourad Debbabi (NetSoft, 2015)

Verification of firewall reconfiguration for virtual machines migrations in the cloud. - Yosr Jarraya; Arash Eghtesadi; Sahba Sadri; Mourad Debbabi; Makan Pourzandi (Comput. Networks, 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)

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)

Cloud Security Auditing: Major Approaches and Existing Challenges. - Suryadipta Majumdar; Taous Madi; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (FPS, 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)

iCAT: An Interactive Customizable Anonymization Tool. - Momen Oqaily; Yosr Jarraya; Mengyuan Zhang 001; Lingyu Wang 001; Makan Pourzandi; Mourad Debbabi (ESORICS (1), 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)

Efficient Provisioning of Security Service Function Chaining Using Network Security Defense Patterns. - Alireza Shameli-Sendi; Yosr Jarraya; Makan Pourzandi; Mohamed Cheriet (IEEE Trans. Serv. Comput., 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)

Catching Falling Dominoes: Cloud Management-Level Provenance Analysis with Application to OpenStack. - Azadeh Tabiban; Yosr Jarraya; Mengyuan Zhang 001; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (CNS, 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)

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)

ProvTalk: Towards Interpretable Multi-level Provenance Analysis in Networking Functions Virtualization (NFV). - Azadeh Tabiban; Heyang Zhao; Yosr Jarraya; Makan Pourzandi; Mengyuan Zhang 001; Lingyu Wang 001 (NDSS, 2022)

VinciDecoder: Automatically Interpreting Provenance Graphs into Textual Forensic Reports with Application to OpenStack. - Azadeh Tabiban; Heyang Zhao; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001 (NordSec, 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)

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)

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)

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)

ChainPatrol: Balancing Attack Detection and Classification with Performance Overhead for Service Function Chains Using Virtual Trailers. - Momen Oqaily; Hinddeep Purohit; Yosr Jarraya; Lingyu Wang 001; Boubakr Nour; Makan Pourzandi; Mourad Debbabi (USENIX Security Symposium, 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)

Connecting the Extra Dots (Contexts): Correlating External Information about Point of Interest for Attack Investigation. - Sareh Mohammadi; Hugo Kermabon-Bobinnec; Azadeh Tabiban; Lingyu Wang 001; Tomás Navarro Múnera; Yosr Jarraya (SP, 2025)

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)