Yosr Jarraya

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