Yosr Jarraya

According to our database, Yosr Jarraya authored at least 49 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Warping the Defence Timeline: Non-Disruptive Proactive Attack Mitigation for Kubernetes Clusters.

Sima Bagheri, Hugo Kermabon-Bobinnec, Suryadipta Majumdar, Yosr Jarraya, Lingyu Wang, Makan Pourzandi

Proceedings of the IEEE International Conference on Communications, 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, Mohammad Ekramul Kabir, Yosr Jarraya, A. S. M. Asadujjaman, Makan Pourzandi, Mourad Debbabi

Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 2023

2022

ProSAS: Proactive Security Auditing System for Clouds.

Suryadipta Majumdar, Gagandeep Singh Chawla, Amir Alimohammadifar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

IEEE Trans. Dependable Secur. Comput., 2022

DPOAD: Differentially Private Outsourcing of Anomaly Detection through Iterative Sensitivity Learning.

Meisam Mohammady, Han Wang, Lingyu Wang, Mengyuan Zhang, Yosr Jarraya, Suryadipta Majumdar, Makan Pourzandi, Mourad Debbabi, Yuan Hong

CoRR, 2022

VinciDecoder: Automatically Interpreting Provenance Graphs into Textual Forensic Reports with Application to OpenStack.

Azadeh Tabiban, Heyang Zhao, Yosr Jarraya, Makan Pourzandi, Lingyu Wang

Proceedings of the Secure IT Systems, 2022

ProvTalk: Towards Interpretable Multi-level Provenance Analysis in Networking Functions Virtualization (NFV).

Azadeh Tabiban, Heyang Zhao, Yosr Jarraya, Makan Pourzandi, Mengyuan Zhang, Lingyu Wang

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV).

Alaa Oqaily, Yosr Jarraya, Lingyu Wang, Makan Pourzandi, Suryadipta Majumdar

Proceedings of the Computer Security - ESORICS 2022, 2022

ProSPEC: Proactive Security Policy Enforcement for Containers.

Hugo Kermabon-Bobinnec, Mahmood Gholipourchoubeh, Sima Bagheri, Suryadipta Majumdar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang

Proceedings of the CODASPY '22: Twelveth ACM Conference on Data and Application Security and Privacy, Baltimore, MD, USA, April 24, 2022

5GFIVer: Functional Integrity Verification for 5G Cloud-Native Network Functions.

A. S. M. Asadujjaman, Mohammad Ekramul Kabir, Hinddeep Purohit, Suryadipta Majumdar, Lingyu Wang, Yosr Jarraya, Makan Pourzandi

Proceedings of the IEEE International Conference on Cloud Computing Technology and Science, 2022

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, Mourad Debbabi

IEEE Trans. Dependable Secur. Comput., 2021

VMGuard: State-Based Proactive Verification of Virtual Network Isolation With Application to NFV.

Gagandeep Singh Chawla, Mengyuan Zhang, Suryadipta Majumdar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

IEEE Trans. Dependable Secur. Comput., 2021

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, Mourad Debbabi

Proceedings of the IEEE Conference on Communications and Network Security, 2021

2020

Catching Falling Dominoes: Cloud Management-Level Provenance Analysis with Application to OpenStack.

Azadeh Tabiban, Yosr Jarraya, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Proceedings of the 8th IEEE Conference on Communications and Network Security, 2020

NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack.

Alaa Oqaily, Sudershan L. T, Yosr Jarraya, Suryadipta Majumdar, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Proceedings of the 12th IEEE International Conference on Cloud Computing Technology and Science, 2020

2019

Cloud Security Auditing

Suryadipta Majumdar, Taous Madi, Yushun Wang, Azadeh Tabiban, Momen Oqaily, Amir Alimohammadifar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Advances in Information Security 76, Springer, ISBN: 978-3-030-23127-9, 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

ISOTOP: Auditing Virtual Networks Isolation Across Cloud Layers in OpenStack.

Taous Madi, Yosr Jarraya, Amir Alimohammadifar, Suryadipta Majumdar, Yushun Wang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

ACM Trans. Priv. Secur., 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, Mourad Debbabi

J. Comput. Secur., 2019

iCAT: An Interactive Customizable Anonymization Tool.

Momen Oqaily, Yosr Jarraya, Mengyuan Zhang, Lingyu Wang, Makan Pourzandi, Mourad Debbabi

Proceedings of the Computer Security - ESORICS 2019, 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, Mourad Debbabi

Proceedings of the Computer Security - ESORICS 2019, 2019

Multi-Level Proactive Security Auditing for Clouds.

Suryadipta Majumdar, Azadeh Tabiban, Meisam Mohammady, Alaa Oqaily, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Proceedings of the 2019 IEEE Conference on Dependable and Secure Computing, 2019

2018

User-Level Runtime Security Auditing for the Cloud.

Suryadipta Majumdar, Taous Madi, Yushun Wang, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

IEEE Trans. Inf. Forensics Secur., 2018

Cloud Security Auditing: Major Approaches and Existing Challenges.

Suryadipta Majumdar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Proceedings of the Foundations and Practice of Security - 11th International Symposium, 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, Mourad Debbabi

Proceedings of the Computer Security, 2018

QuantiC: Distance Metrics for Evaluating Multi-Tenancy Threats in Public Cloud.

Taous Madi, Mengyuan Zhang, Yosr Jarraya, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Proceedings of the 2018 IEEE International Conference on Cloud Computing Technology and Science, 2018

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, Mourad Debbabi

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

LeaPS: Learning-Based Proactive Security Auditing for Clouds.

Suryadipta Majumdar, Yosr Jarraya, Momen Oqaily, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Proceedings of the Computer Security - ESORICS 2017, 2017

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, Mourad Debbabi

Proceedings of the Computer Security - ESORICS 2016, 2016

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

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

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

Towards migrating security policies of virtual machines in Software Defined Networks.

Sahba Sadri, Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi

Proceedings of the 1st IEEE Conference on Network Softwarization, 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

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 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, Mourad Debbabi

Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

Multistage OCDO: Scalable Security Provisioning Optimization in SDN-Based Cloud.

Yosr Jarraya, Alireza Shameli-Sendi, Makan Pourzandi, Mohamed Cheriet

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Quantitative and qualitative analysis of SysML activity diagrams.

Yosr Jarraya, Mourad Debbabi

Int. J. Softw. Tools Technol. Transf., 2014

A Survey and a Layered Taxonomy of Software-Defined Networking.

Yosr Jarraya, Taous Madi, Mourad Debbabi

IEEE Commun. Surv. Tutorials, 2014

Preservation of Security Configurations in the Cloud.

Arash Eghtesadi, Yosr Jarraya, Mourad Debbabi, Makan Pourzandi

Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014

2013

Towards a Distributed Plan Execution Monitoring Framework.

Yosr Jarraya, Sujoy Ray, Andrei Soeanu, Mourad Debbabi, Mohamad Allouche, Jean Berger

Proceedings of the 4th International Conference on Ambient Systems, 2013

2012

Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols.

Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi

J. Softw., 2012

Formal Specification and Probabilistic Verification of SysML Activity Diagrams.

Yosr Jarraya, Mourad Debbabi

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud.

Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Cloud calculus: Security verification in elastic cloud computing platform.

Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi

Proceedings of the 2012 International Conference on Collaboration Technologies and Systems, 2012

2011

Model-based systems security quantification.

Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed

Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011

2010

Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models.

Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

Springer, ISBN: 978-3-642-15227-6, 2010

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

On the Meaning of SysML Activity Diagrams.

Yosr Jarraya, Mourad Debbabi, Jamal Bentahar

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2007

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.

Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

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

Proceedings of the IASTED International Conference on Software Engineering, 2006

A Unified Approach for Verification and Validation of Systems and Software Engineering Models.

Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006