Yosr Jarraya

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 37

Top Topics

Attack Detection

Virtual Machine

Policy Enforcement

Top Venues

IEEE Trans. Dependable Secur. Comput.

Publications

Mahmood Gholipourchoubeh, Hugo Kermabon-Bobinnec, Suryadipta Majumdar, Yosr Jarraya, Lingyu Wang, Boubakr Nour, Makan Pourzandi
CCSM: Building Cross-Cluster Security Models for Edge-Core Environments Involving Multiple Kubernetes Clusters. CODASPY (2024)
Momen Oqaily, Mohammad Ekramul Kabir, Suryadipta Majumdar, Yosr Jarraya, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
iCAT+: An Interactive Customizable Anonymization Tool Using Automated Translation Through Deep Learning. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Sudershan Lakshmanan Thirunavukkarasu, Mengyuan Zhang, Suryadipta Majumdar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang
Caught-in-Translation (CiT): Detecting Cross-Level Inconsistency Attacks in Network Functions Virtualization (NFV). IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Momen Oqaily, Hinddeep Purohit, Yosr Jarraya, Lingyu Wang, Boubakr Nour, Makan Pourzandi, Mourad Debbabi
ChainPatrol: Balancing Attack Detection and Classification with Performance Overhead for Service Function Chains Using Virtual Trailers. USENIX Security Symposium (2024)
Momen Oqaily, Suryadipta Majumdar, Lingyu Wang, Mohammad Ekramul Kabir, Yosr Jarraya, A. S. M. Asadujjaman, Makan Pourzandi, Mourad Debbabi
A Tenant-based Two-stage Approach to Auditing the Integrity of Virtual Network Function Chains Hosted on Third-Party Clouds. CODASPY (2023)
Sima Bagheri, Hugo Kermabon-Bobinnec, Suryadipta Majumdar, Yosr Jarraya, Lingyu Wang, Makan Pourzandi
Warping the Defence Timeline: Non-Disruptive Proactive Attack Mitigation for Kubernetes Clusters. ICC (2023)
Meisam Mohammady, Han Wang, Lingyu Wang, Mengyuan Zhang, Yosr Jarraya, Suryadipta Majumdar, Makan Pourzandi, Mourad Debbabi, Yuan Hong
DPOAD: Differentially Private Outsourcing of Anomaly Detection through Iterative Sensitivity Learning. CoRR (2022)
Suryadipta Majumdar, Gagandeep Singh Chawla, Amir Alimohammadifar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
ProSAS: Proactive Security Auditing System for Clouds. IEEE Trans. Dependable Secur. Comput. 19 (4) (2022)
Azadeh Tabiban, Heyang Zhao, Yosr Jarraya, Makan Pourzandi, Lingyu Wang
VinciDecoder: Automatically Interpreting Provenance Graphs into Textual Forensic Reports with Application to OpenStack. NordSec (2022)
A. S. M. Asadujjaman, Mohammad Ekramul Kabir, Hinddeep Purohit, Suryadipta Majumdar, Lingyu Wang, Yosr Jarraya, Makan Pourzandi
5GFIVer: Functional Integrity Verification for 5G Cloud-Native Network Functions. CloudCom (2022)
Hugo Kermabon-Bobinnec, Mahmood Gholipourchoubeh, Sima Bagheri, Suryadipta Majumdar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang
ProSPEC: Proactive Security Policy Enforcement for Containers. CODASPY (2022)
Azadeh Tabiban, Heyang Zhao, Yosr Jarraya, Makan Pourzandi, Mengyuan Zhang, Lingyu Wang
ProvTalk: Towards Interpretable Multi-level Provenance Analysis in Networking Functions Virtualization (NFV). NDSS (2022)
Alaa Oqaily, Yosr Jarraya, Lingyu Wang, Makan Pourzandi, Suryadipta Majumdar
MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV). ESORICS (3) (2022)
A. S. M. Asadujjaman, Momen Oqaily, Yosr Jarraya, Suryadipta Majumdar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Artificial Packet-Pair Dispersion (APPD): A Blackbox Approach to Verifying the Integrity of NFV Service Chains. CNS (2021)
Momen Oqaily, Yosr Jarraya, Meisam Mohammady, Suryadipta Majumdar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
SegGuard: Segmentation-Based Anonymization of Network Data in Clouds for Privacy-Preserving Security Auditing. IEEE Trans. Dependable Secur. Comput. 18 (5) (2021)
Gagandeep Singh Chawla, Mengyuan Zhang, Suryadipta Majumdar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
VMGuard: State-Based Proactive Verification of Virtual Network Isolation With Application to NFV. IEEE Trans. Dependable Secur. Comput. 18 (4) (2021)
Alaa Oqaily, Sudershan L. T, Yosr Jarraya, Suryadipta Majumdar, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack. CloudCom (2020)
Azadeh Tabiban, Yosr Jarraya, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Catching Falling Dominoes: Cloud Management-Level Provenance Analysis with Application to OpenStack. CNS (2020)
Suryadipta Majumdar, Azadeh Tabiban, Meisam Mohammady, Alaa Oqaily, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement. ESORICS (2) (2019)
Taous Madi, Yosr Jarraya, Amir Alimohammadifar, Suryadipta Majumdar, Yushun Wang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
ISOTOP: Auditing Virtual Networks Isolation Across Cloud Layers in OpenStack. ACM Trans. Priv. Secur. 22 (1) (2019)
Suryadipta Majumdar, Azadeh Tabiban, Meisam Mohammady, Alaa Oqaily, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Multi-Level Proactive Security Auditing for Clouds. DSC (2019)
Alireza Shameli Sendi, Yosr Jarraya, Makan Pourzandi, Mohamed Cheriet
Efficient Provisioning of Security Service Function Chaining Using Network Security Defense Patterns. IEEE Trans. Serv. Comput. 12 (4) (2019)
Momen Oqaily, Yosr Jarraya, Mengyuan Zhang, Lingyu Wang, Makan Pourzandi, Mourad Debbabi
iCAT: An Interactive Customizable Anonymization Tool. ESORICS (1) (2019)
Suryadipta Majumdar, Azadeh Tabiban, Yosr Jarraya, Momen Oqaily, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Learning probabilistic dependencies among events for proactive security auditing in clouds. J. Comput. Secur. 27 (2) (2019)
Amir Alimohammadifar, Suryadipta Majumdar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Stealthy Probing-Based Verification (SPV): An Active Approach to Defending Software Defined Networks Against Topology Poisoning Attacks. ESORICS (2) (2018)
Suryadipta Majumdar, Taous Madi, Yushun Wang, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
User-Level Runtime Security Auditing for the Cloud. IEEE Trans. Inf. Forensics Secur. 13 (5) (2018)
Suryadipta Majumdar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Cloud Security Auditing: Major Approaches and Existing Challenges. FPS (2018)
Taous Madi, Mengyuan Zhang, Yosr Jarraya, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
QuantiC: Distance Metrics for Evaluating Multi-Tenancy Threats in Public Cloud. CloudCom (2018)
Yushun Wang, Taous Madi, Suryadipta Majumdar, Yosr Jarraya, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
TenantGuard: Scalable Runtime Verification of Cloud-Wide VM-Level Network Isolation. NDSS (2017)
Suryadipta Majumdar, Yosr Jarraya, Momen Oqaily, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
LeaPS: Learning-Based Proactive Security Auditing for Clouds. ESORICS (2) (2017)
Suryadipta Majumdar, Yosr Jarraya, Taous Madi, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Proactive Verification of Security Compliance for Clouds Through Pre-computation: Application to OpenStack. ESORICS (1) (2016)
Taous Madi, Suryadipta Majumdar, Yushun Wang, Yosr Jarraya, Makan Pourzandi, Lingyu Wang
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack. CODASPY (2016)
Sahba Sadri, Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi
Towards migrating security policies of virtual machines in Software Defined Networks. NetSoft (2015)
Yosr Jarraya, Alireza Shameli Sendi, Makan Pourzandi, Mohamed Cheriet
Multistage OCDO: Scalable Security Provisioning Optimization in SDN-Based Cloud. CLOUD (2015)
Suryadipta Majumdar, Taous Madi, Yushun Wang, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Security Compliance Auditing of Identity and Access Management in the Cloud: Application to OpenStack. CloudCom (2015)
Yosr Jarraya, Arash Eghtesadi, Sahba Sadri, Mourad Debbabi, Makan Pourzandi
Verification of firewall reconfiguration for virtual machines migrations in the cloud. Comput. Networks 93 (2015)
Alireza Shameli Sendi, Yosr Jarraya, Mohamed Fekih Ahmed, Makan Pourzandi, Chamseddine Talhi, Mohamed Cheriet
Optimal placement of sequentially ordered virtual security appliances in the cloud. IM (2015)
Yosr Jarraya, Taous Madi, Mourad Debbabi
A Survey and a Layered Taxonomy of Software-Defined Networking. IEEE Commun. Surv. Tutorials 16 (4) (2014)
Yosr Jarraya, Mourad Debbabi
Quantitative and qualitative analysis of SysML activity diagrams. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Arash Eghtesadi, Yosr Jarraya, Mourad Debbabi, Makan Pourzandi
Preservation of Security Configurations in the Cloud. IC2E (2014)
Yosr Jarraya, Sujoy Ray, Andrei Soeanu, Mourad Debbabi, Mohamad Allouche, Jean Berger
Towards a Distributed Plan Execution Monitoring Framework. ANT/SEIT (2013)
Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. SSS (2012)
Yosr Jarraya, Mourad Debbabi
Formal Specification and Probabilistic Verification of SysML Activity Diagrams. TASE (2012)
Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi
Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. J. Softw. 7 (7) (2012)
Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi
Cloud calculus: Security verification in elastic cloud computing platform. CTS (2012)
Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed
Model-based systems security quantification. PST (2011)
Yosr Jarraya, Mourad Debbabi, Jamal Bentahar
On the Meaning of SysML Activity Diagrams. ECBS (2009)
Yosr Jarraya, Andrei Soeanu, Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne
Synergistic verification and validation of systems and software engineering models. Int. J. Gen. Syst. 38 (7) (2009)
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. ECBS (2007)
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne
A Unified Approach for Verification and Validation of Systems and Software Engineering Models. ECBS (2006)
Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Payam Shahi, Andrei Soeanu
Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models. IASTED Conf. on Software Engineering (2006)