default search action
Yosr Jarraya
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Momen Oqaily
, Mohammad Ekramul Kabir
iCAT+: An Interactive Customizable Anonymization Tool Using Automated Translation Through Deep Learning. IEEE Trans. Dependable Secur. Comput. 21(4): 2799-2817 (2024) - [j14]Sudershan Lakshmanan Thirunavukkarasu
Caught-in-Translation (CiT): Detecting Cross-Level Inconsistency Attacks in Network Functions Virtualization (NFV). IEEE Trans. Dependable Secur. Comput. 21(4): 2964-2981 (2024) - [j13]Sima Bagheri
ACE-WARP: A Cost-Effective Approach to Proactive and Non-Disruptive Incident Response in Kubernetes Clusters. IEEE Trans. Inf. Forensics Secur. 19: 8204-8219 (2024) - [c37]Mahmood Gholipourchoubeh
CCSM: Building Cross-Cluster Security Models for Edge-Core Environments Involving Multiple Kubernetes Clusters. CODASPY 2024: 79-90 - [c36]Hugo Kermabon-Bobinnec, Yosr Jarraya, Lingyu Wang, Suryadipta Majumdar, Makan Pourzandi:
Phoenix: Surviving Unpatched Vulnerabilities via Accurate and Efficient Filtering of Syscall Sequences. NDSS 2024 - [c35]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 - 2023
- [c34]Momen Oqaily
A Tenant-based Two-stage Approach to Auditing the Integrity of Virtual Network Function Chains Hosted on Third-Party Clouds. CODASPY 2023: 79-90 - [c33]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: 777-782 - 2022
- [j12]Suryadipta Majumdar
ProSAS: Proactive Security Auditing System for Clouds. IEEE Trans. Dependable Secur. Comput. 19(4): 2517-2534 (2022) - [c32]A. S. M. Asadujjaman
5GFIVer: Functional Integrity Verification for 5G Cloud-Native Network Functions. CloudCom 2022: 162-169 - [c31]Hugo Kermabon-Bobinnec
ProSPEC: Proactive Security Policy Enforcement for Containers. CODASPY 2022: 155-166 - [c30]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: 466-489 - [c29]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 - [c28]Azadeh Tabiban
VinciDecoder: Automatically Interpreting Provenance Graphs into Textual Forensic Reports with Application to OpenStack. NordSec 2022: 346-367 - [i1]Meisam Mohammady, Han Wang, Lingyu Wang, Mengyuan Zhang, Yosr Jarraya, Suryadipta Majumdar, Makan Pourzandi, Mourad Debbabi
DPOAD: Differentially Private Outsourcing of Anomaly Detection through Iterative Sensitivity Learning. CoRR abs/2206.13046 (2022) - 2021
- [j11]Gagandeep Singh Chawla, Mengyuan Zhang
VMGuard: State-Based Proactive Verification of Virtual Network Isolation With Application to NFV. IEEE Trans. Dependable Secur. Comput. 18(4): 1553-1567 (2021) - [j10]Momen Oqaily
SegGuard: Segmentation-Based Anonymization of Network Data in Clouds for Privacy-Preserving Security Auditing. IEEE Trans. Dependable Secur. Comput. 18(5): 2486-2505 (2021) - [c27]A. S. M. Asadujjaman
Artificial Packet-Pair Dispersion (APPD): A Blackbox Approach to Verifying the Integrity of NFV Service Chains. CNS 2021: 245-253 - 2020
- [c26]Alaa Oqaily, Sudershan Lakshmanan Thirunavukkarasu, 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: 33-40 - [c25]Azadeh Tabiban
Catching Falling Dominoes: Cloud Management-Level Provenance Analysis with Application to OpenStack. CNS 2020: 1-9
2010 – 2019
- 2019
- [b2]Suryadipta Majumdar, Taous Madi, Yushun Wang, Azadeh Tabiban, Momen Oqaily, Amir Alimohammadifar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang
Cloud Security Auditing. Advances in Information Security 76, Springer 2019, ISBN 978-3-030-23127-9, pp. 1-159 - [j9]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): 165-202 (2019) - [j8]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): 1:1-1:35 (2019) - [j7]Alireza Shameli-Sendi
Efficient Provisioning of Security Service Function Chaining Using Network Security Defense Patterns. IEEE Trans. Serv. Comput. 12(4): 534-549 (2019) - [c24]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: 1-8 - [c23]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: 239-262 - [c22]Momen Oqaily, Yosr Jarraya, Mengyuan Zhang
iCAT: An Interactive Customizable Anonymization Tool. ESORICS (1) 2019: 658-680 - 2018
- [j6]Suryadipta Majumdar
User-Level Runtime Security Auditing for the Cloud. IEEE Trans. Inf. Forensics Secur. 13(5): 1185-1199 (2018) - [c21]Taous Madi, Mengyuan Zhang
QuantiC: Distance Metrics for Evaluating Multi-Tenancy Threats in Public Cloud. CloudCom 2018: 163-170 - [c20]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: 463-484 - [c19]Suryadipta Majumdar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
Cloud Security Auditing: Major Approaches and Existing Challenges. FPS 2018: 61-77 - 2017
- [c18]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: 265-285 - [c17]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 - 2016
- [c16]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: 195-206 - [c15]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: 47-66 - 2015
- [j5]Yosr Jarraya, Arash Eghtesadi, Sahba Sadri, Mourad Debbabi
Verification of firewall reconfiguration for virtual machines migrations in the cloud. Comput. Networks 93: 480-491 (2015) - [c14]Yosr Jarraya, Alireza Shameli-Sendi, Makan Pourzandi, Mohamed Cheriet:
Multistage OCDO: Scalable Security Provisioning Optimization in SDN-Based Cloud. CLOUD 2015: 572-579 - [c13]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: 58-65 - [c12]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: 818-821 - [c11]Sahba Sadri, Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi
Towards migrating security policies of virtual machines in Software Defined Networks. NetSoft 2015: 1-9 - 2014
- [j4]Yosr Jarraya, Taous Madi, Mourad Debbabi
A Survey and a Layered Taxonomy of Software-Defined Networking. IEEE Commun. Surv. Tutorials 16(4): 1955-1980 (2014) - [j3]Yosr Jarraya, Mourad Debbabi
Quantitative and qualitative analysis of SysML activity diagrams. Int. J. Softw. Tools Technol. Transf. 16(4): 399-419 (2014) - [c10]Arash Eghtesadi, Yosr Jarraya, Mourad Debbabi
Preservation of Security Configurations in the Cloud. IC2E 2014: 17-26 - 2013
- [c9]Yosr Jarraya, Sujoy Ray, Andrei Soeanu, Mourad Debbabi
Towards a Distributed Plan Execution Monitoring Framework. ANT/SEIT 2013: 1034-1039 - 2012
- [j2]Samir Ouchani
Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. J. Softw. 7(7): 1488-1495 (2012) - [c8]Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi
Cloud calculus: Security verification in elastic cloud computing platform. CTS 2012: 447-454 - [c7]Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. SSS 2012: 111-125 - [c6]Yosr Jarraya, Mourad Debbabi
Formal Specification and Probabilistic Verification of SysML Activity Diagrams. TASE 2012: 17-24 - 2011
- [c5]Samir Ouchani
Model-based systems security quantification. PST 2011: 142-149 - 2010
- [b1]Mourad Debbabi
Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models. Springer 2010, ISBN 978-3-642-15227-6, pp. I-XXVI, 1-248
2000 – 2009
- 2009
- [j1]Yosr Jarraya, Andrei Soeanu, Luay Alawneh
Synergistic verification and validation of systems and software engineering models. Int. J. Gen. Syst. 38(7): 719-746 (2009) - [c4]Yosr Jarraya, Mourad Debbabi
On the Meaning of SysML Activity Diagrams. ECBS 2009: 95-105 - 2007
- [c3]Yosr Jarraya, Andrei Soeanu, Mourad Debbabi
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. ECBS 2007: 515-522 - 2006
- [c2]Luay Alawneh
A Unified Approach for Verification and Validation of Systems and Software Engineering Models. ECBS 2006: 409-418 - [c1]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: 282-287
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: