Yosr Jarraya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
11
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESORICS | CapMan: Detecting and Mitigating Linux Capability Abuses at Runtime to Secure Privileged Containers. | Alireza Moghaddas Borhan, Hugo Kermabon-Bobinnec, Lingyu Wang, Yosr Jarraya, Suryadipta Majumdar |
| 2025 | SP | Connecting the Extra Dots (Contexts): Correlating External Information about Point of Interest for Attack Investigation. | Sareh Mohammadi, Hugo Kermabon-Bobinnec, Azadeh Tabiban, Lingyu Wang, Toms Navarro Mnera, Yosr Jarraya |
| 2024 | NDSS | Phoenix: Surviving Unpatched Vulnerabilities via Accurate and Efficient Filtering of Syscall Sequences. | Hugo Kermabon-Bobinnec, Yosr Jarraya, Lingyu Wang, Suryadipta Majumdar, Makan Pourzandi |
| 2022 | CloudCom | 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 |
| 2022 | ESORICS | 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 |
| 2022 | NDSS | ProvTalk: Towards Interpretable Multi-level Provenance Analysis in Networking Functions Virtualization (NFV). | Azadeh Tabiban, Heyang Zhao, Yosr Jarraya, Makan Pourzandi, Mengyuan Zhang, Lingyu Wang |
| 2020 | CloudCom | NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack. | Alaa Oqaily, Sudershan Lakshmanan Thirunavukkarasu, Yosr Jarraya, Suryadipta Majumdar, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi |
| 2019 | ESORICS | 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 |
| 2019 | ESORICS | iCAT: An Interactive Customizable Anonymization Tool. | Momen Oqaily, Yosr Jarraya, Mengyuan Zhang, Lingyu Wang, Makan Pourzandi, Mourad Debbabi |
| 2018 | CloudCom | 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 |
| 2018 | ESORICS | 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 |
| 2017 | ESORICS | LeaPS: Learning-Based Proactive Security Auditing for Clouds. | Suryadipta Majumdar, Yosr Jarraya, Momen Oqaily, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi |
| 2017 | NDSS | 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 |
| 2016 | ESORICS | 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 |
| 2015 | CloudCom | 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 |
| 2015 | IM | 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 |
| 2015 | NetSoft | Towards migrating security policies of virtual machines in Software Defined Networks. | Sahba Sadri, Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi |
| 2014 | IC2E | Preservation of Security Configurations in the Cloud. | Arash Eghtesadi, Yosr Jarraya, Mourad Debbabi, Makan Pourzandi |
| 2013 | ANT | Towards a Distributed Plan Execution Monitoring Framework. | Yosr Jarraya, Sujoy Ray, Andrei Soeanu, Mourad Debbabi, Mohamad Allouche, Jean Berger |
| 2012 | SSS | Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. | Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi |
| 2012 | TASE | Formal Specification and Probabilistic Verification of SysML Activity Diagrams. | Yosr Jarraya, Mourad Debbabi |
| 2011 | PST | Model-based systems security quantification. | Samir Ouchani, Yosr Jarraya, Otmane At Mohamed |