| 2026 | NDSS | NEXUS: Towards Accurate and Scalable Mapping between Vulnerabilities and Attack Techniques. | Ehsan Khodayarseresht, Suryadipta Majumdar, Serguei A. Mokhov, Mourad Debbabi |
| 2025 | CNSM | BTS-Band: An Explainable AI Detection Solution for Base Transceiver Station Resource Depletion Attack in O-RAN. | Assrar Maamary, Hyame Assem Alameddine, Chadi Assi, Mourad Debbabi |
| 2024 | AsiaCCS | Uncovering Covert Attacks on EV Charging Infrastructure: How OCPP Backend Vulnerabilities Could Compromise Your System. | Khaled Sarieddine, Mohammad Ali Sayed, Sadegh Torabi, Ribal Atallah, Danial Jafarigiv, Chadi Assi, Mourad Debbabi |
| 2024 | CCS | OctopusTaint: Advanced Data Flow Analysis for Detecting Taint-Based Vulnerabilities in IoT/IIoT Firmware. | Abdullah Qasem, Mourad Debbabi, Andrei Soeanu |
| 2024 | DIMVA | Modularizing Directed Greybox Fuzzing for Binaries over Multiple CPU Architectures. | Sofiane Benahmed, Abdullah Qasem, Anis Lounis, Mourad Debbabi |
| 2024 | DIMVA | SecMonS: A Security Monitoring Framework for IEC 61850 Substations Based on Configuration Files and Logs. | Onur Duman, Mengyuan Zhang, Lingyu Wang, Mourad Debbabi |
| 2024 | DIMVA | Seum Spread: Discerning Security Flaws in IoT Firmware via Call Sequence Semantics. | Anis Lounis, Anthony Andreoli, Mourad Debbabi, Aiman Hanna |
| 2024 | SecureComm | Siamese Neural Network for Robust IoT Device-Type Identification: A Few-Shot Learning Approach. | Zineb Meriem Ferdjouni, Abdullah Qasem, Mourad Debbabi |
| 2023 | AsiaCCS | Binary Function Clone Search in the Presence of Code Obfuscation and Optimization over Multi-CPU Architectures. | Abdullah Qasem, Mourad Debbabi, Bernard Lebel, Marthe Kassouf |
| 2023 | ESORICS | Evaluating the Security Posture of 5G Networks by Combining State Auditing and Event Monitoring. | Md. Nazmul Hoq, Jia Wei Yao, Suryadipta Majumdar, Luis Surez, Lingyu Wang, Amine Boukhtouta, Makan Pourzandi, Mourad Debbabi |
| 2023 | VECoS | An Enhanced Interface-Based Probabilistic Compositional Verification Approach. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2021 | DIMVA | PetaDroid: Adaptive Android Malware Detection Using Deep Learning. | ElMouatez Billah Karbab, Mourad Debbabi |
| 2020 | CCS | R2DP: A Universal and Automated Approach to Optimizing the Randomization Mechanisms of Differential Privacy for Utility Metrics with No Known Optimal Distributions. | Meisam Mohammady, Shangyu Xie, Yuan Hong, Mengyuan Zhang, Lingyu Wang, Makan Pourzandi, Mourad Debbabi |
| 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 | CloudCom | Modeling NFV Deployment to Identify the Cross-Level Inconsistency Vulnerabilities. | Sudershan Lakshmanan Thirunavukkarasu, Mengyuan Zhang, Alaa Oqaily, Gagandeep Singh Chawla, Lingyu Wang, Makan Pourzandi, Mourad Debbabi |
| 2019 | DIMVA | Detecting, Fingerprinting and Tracking Reconnaissance Campaigns Targeting Industrial Control Systems. | Olivier Cabana, Amr M. Youssef, Mourad Debbabi, Bernard Lebel, Marthe Kassouf, Basile L. Agba |
| 2019 | ESORICS | BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning. | Saed Alrabaee, ElMouatez Billah Karbab, 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 | CCS | Preserving Both Privacy and Utility in Network Trace Anonymization. | Meisam Mohammady, Lingyu Wang, Yuan Hong, Habib Louafi, 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 | DIMVA | BINARM: Scalable and Efficient Detection of Vulnerabilities in Firmware Images of Intelligent Electronic Devices. | Paria Shirani, Leo Collard, Basile L. Agba, Bernard Lebel, Mourad Debbabi, Lingyu Wang, Aiman Hanna |
| 2018 | DSN | Inferring, Characterizing, and Investigating Internet-Scale Malicious IoT Device Activities: A Network Telescope Perspective. | Sadegh Torabi, Elias Bou-Harb, Chadi Assi, Mario Galluscio, Amine Boukhtouta, 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 |
| 2018 | ESORICS | On Leveraging Coding Habits for Effective Binary Authorship Attribution. | Saed Alrabaee, Paria Shirani, Lingyu Wang, Mourad Debbabi, Aiman Hanna |
| 2017 | CCS | BinSequence: Fast, Accurate and Scalable Binary Code Reuse Detection. | He Huang, Amr M. Youssef, Mourad Debbabi |
| 2017 | DIMVA | BinShape: Scalable and Robust Binary Library Function Identification Using Function Shape. | Paria Shirani, 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 |
| 2017 | SEC | BinSign: Fingerprinting Binary Functions to Support Automated Analysis of Code Executables. | Lina Nouh, Ashkan Rahimian, Djedjiga Mouheb, Mourad Debbabi, Aiman Hanna |
| 2016 | ACSAC | Cypider: building community-based cyber-defense infrastructure for android malware detection. | ElMouatez Billah Karbab, Mourad Debbabi, Abdelouahid Derhab, Djedjiga Mouheb |
| 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 | NetSoft | Towards migrating security policies of virtual machines in Software Defined Networks. | Sahba Sadri, Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi |
| 2014 | AI | The Use of NLP Techniques in Static Code Analysis to Detect Weaknesses and Vulnerabilities. | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
| 2014 | DBSEC | Secure and Privacy-Preserving Querying of Personal Health Records in the Cloud. | Samira Barouti, Feras Aljumah, Dima Alhadidi, Mourad Debbabi |
| 2014 | IC2E | Preservation of Security Configurations in the Cloud. | Arash Eghtesadi, Yosr Jarraya, Mourad Debbabi, Makan Pourzandi |
| 2014 | INFOCOM | Behavioral analytics for inferring large-scale orchestrated probing events. | Elias Bou-Harb, Mourad Debbabi, Chadi Assi |
| 2013 | ANT | Towards Fingerprinting Malicious Traffic. | Amine Boukhtouta, Nour-Eddine Lakhdari, Serguei A. Mokhov, Mourad Debbabi |
| 2013 | ANT | Towards a Distributed Plan Execution Monitoring Framework. | Yosr Jarraya, Sujoy Ray, Andrei Soeanu, Mourad Debbabi, Mohamad Allouche, Jean Berger |
| 2013 | ANT | Gossiping Based Distributed Plan Monitoring. | Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Mohamad Allouche, Jean Berger |
| 2013 | CloudCom | Symmetrically-Private Database Search in Cloud Computing. | Samira Barouti, Dima Alhadidi, Mourad Debbabi |
| 2013 | CloudCom | Background Knowledge-Resistant Traffic Padding for Preserving User Privacy in Web-Based Applications. | Wen Ming Liu, Lingyu Wang, Kui Ren, Mourad Debbabi |
| 2013 | FDL | A formal verification framework for Bluespec System Verilog. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2013 | IWCMC | On detecting and clustering distributed cyber scanning. | Elias Bou-Harb, Mourad Debbabi, Chadi Assi |
| 2013 | NCA | Towards a Forecasting Model for Distributed Denial of Service Activities. | Claude Fachkha, Elias Bou-Harb, Mourad Debbabi |
| 2013 | SoMeT | A probabilistic verification framework of SysML activity diagrams. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2013 | TASE | Aspect-Oriented Semantic Framework for Executable Models. | Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi |
| 2012 | CRiSIS | Investigating the dark cyberspace: Profiling, threat-based analysis and correlation. | Claude Fachkha, Elias Bou-Harb, Amine Boukhtouta, Son Dinh, Farkhund Iqbal, Mourad Debbabi |
| 2012 | KES | A Learning Based Evolutionary Algorithm For Distributed Multi-Depot VRP. | Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta |
| 2012 | SAC | Mechanism design for decentralized vehicle routing problem. | Mohamed Mostafa Saleh, Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta |
| 2012 | SECRYPT | Formal Analysis of the TLS Handshake Protocol. | Hanane Houmani, Mourad Debbabi |
| 2012 | SEFM | Efficient Probabilistic Abstraction for SysML Activity Diagrams. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2012 | SoMeT | Continuation/Frame-based Semantics for Aspect Matching and Weaving. | Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi |
| 2012 | SoMeT | A Probabilistic Verification Framework for SysML Activity Diagrams. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 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 | On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY. | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
| 2010 | CRiSIS | Insights from the analysis of the Mariposa botnet. | Prosenjit Sinha, Amine Boukhtouta, Victor Heber Belarde, Mourad Debbabi |
| 2010 | PST | On the analysis of the Zeus botnet crimeware toolkit. | Hamad Binsalleeh, Thomas C. Ormerod, Amine Boukhtouta, Prosenjit Sinha, Amr M. Youssef, Mourad Debbabi, Lingyu Wang |
| 2010 | RAID | Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence. | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
| 2010 | SAC | e-mail authorship verification for forensic investigation. | Farkhund Iqbal, Liaquat A. Khan, Benjamin C. M. Fung, Mourad Debbabi |
| 2010 | SERA | Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML. | Djedjiga Mouheb, Chamseddine Talhi, Mariam Nouh, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi |
| 2010 | SERA | Verification of the Correctness in Composed UML Behavioural Diagrams. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi, Makan Pourzandi |
| 2009 | CIKM | Walking in the crowd: anonymizing trajectory data for pattern analysis. | Noman Mohammed, Benjamin C. M. Fung, Mourad Debbabi |
| 2009 | SoMeT | An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation. | Djedjiga Mouheb, Chamseddine Talhi, Azzam Mourad, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi |
| 2008 | AICCSA | A novel flow-sensitive type and effect analysis for securing C code. | Syrine Tlili, Mourad Debbabi |
| 2008 | DBSEC | Towards Automation of Testing High-Level Security Properties. | Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad Debbabi |
| 2008 | ISI | A framework for privacy-preserving cluster analysis. | Benjamin C. M. Fung, Ke Wang, Lingyu Wang, Mourad Debbabi |
| 2008 | PST | Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. | Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi |
| 2008 | PST | Cross-Language Weaving Approach Targeting Software Security Hardening. | Azzam Mourad, Dima Alhadidi, Mourad Debbabi |
| 2008 | WCNC | A Mechanism Design-Based Multi-Leader Election Scheme for Intrusion Detection in MANET. | Noman Mohammed, Hadi Otrok, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya |
| 2008 | WiMob | A Moderate to Robust Game Theoretical Model for Intrusion Detection in MANETs. | Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya |
| 2008 | WiMob | A Mechanism Design-Based Secure Architecture for Mobile Ad Hoc Networks. | Abderrezak Rachedi, Abderrahim Benslimane, Hadi Otrok, Noman Mohammed, Mourad Debbabi |
| 2008 | SECRYPT | Towards Language-Independent Approach for Security Concerns Weaving. | Azzam Mourad, Dima Alhadidi, Mourad Debbabi |
| 2007 | AINA | Towards an Aspect Oriented Approach for the Security Hardening of Code. | Azzam Mourad, Marc-Andr Laverdire, Mourad Debbabi |
| 2007 | WiMob | An Efficient and Truthful Leader IDS Election Mechanism for MANET. | Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya |
| 2007 | SECRYPT | A High-Level Aspect-Oriented based Language for Software Security Hardening. | Azzam Mourad, Marc-Andr Laverdire, Mourad Debbabi |
| 2007 | SEFM | An AOP Extended Lambda-Calculus. | Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya |
| 2007 | SEFM | Verifying Security Properties of Cryptoprotocols: A Novel Approach. | Mohamed Mostafa Saleh, Mourad Debbabi |
| 2006 | GLOBECOM | A Game Theoretic Approach to Detect Network Intrusions: The Cooperative Intruders Scenario. | Mona Mehrandish, Hadi Otrok, Mourad Debbabi, Chadi Assi, Prabir Bhattacharya |
| 2006 | ISCC | QoS-Aware Middleware for Web Services Composition - A Qualitative Approach. | Hassan Issa, Chadi Assi, Mourad Debbabi |
| 2006 | PST | Security crosscutting concerns and AspectJ. | Dima Alhadidi, Nadia Belblidia, Mourad Debbabi |
| 2006 | PST | Security hardening of open source software. | Azzam Mourad, Marc-Andr Laverdire, Mourad Debbabi |
| 2006 | PST | Execution monitoring enforcement for limited-memory systems. | Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi |
| 2006 | SEFM | Formalizing AspectJ Weaving for Static Pointcuts. | Nadia Belblidia, Mourad Debbabi |
| 2006 | SoMeT | A Formal Approach for the Forensic Analysis of Logs. | Ali Reza Arasteh, Mourad Debbabi, Assaad Sakha |
| 2006 | SoMeT | Common Criteria Approach to J2ME CLDC Security Requirements. | Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua |
| 2005 | ACSAC | Java for Mobile Devices: A Security Study. | Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua |
| 2005 | ICFEM | Game Semantics Model for Security Protocols. | Mourad Debbabi, Mohamed Mostafa Saleh |
| 2005 | PST | Security Analysis of Wireless Java. | Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua |
| 2005 | SAC | Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors. | Mourad Debbabi, Azzam Mourad, Nadia Tawbi |
| 2003 | ICCS | Method Call Acceleration in Embedded Java Virtual Machines. | Mourad Debbabi, M. M. Erhioui, Lamia Ketari, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua |
| 2003 | MFPS | Towards the Correctness of Security Protocols. | Mourad Debbabi, Mohamed Mejri |
| 2000 | SAC | Verifying Object Initialization in the Java Bytecode Language. | Stephane Doyon, Mourad Debbabi |
| 2000 | WETICE | Secure Self-Certified COTS. | Mourad Debbabi, E. Giasson, Bchir Ktari, Frdric Michaud, Nadia Tawbi |
| 2000 | WETICE | On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier. | Frdric Painchaud, Mourad Debbabi |
| 1999 | WETICE | Final Summary Report on Enterprise Security. | Yahya Y. Al-Salqan, Nahid Shahmehri, Wu Wen, Mourad Debbabi |
| 1999 | WETICE | Static Analysis of Binary Code to Isolate Malicious Behaviors. | J. Bergeron, Mourad Debbabi, M. M. Erhioui, Bchir Ktari |
| 1998 | ACSAC | An Environment for the Specification and Analysis of Cryptoprotocols. | Mourad Debbabi, Y. Legar, Mohamed Mejri |
| 1997 | ICFEM | Formal Automatic Verification of Authentication Crytographic Protocols. | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
| 1997 | WETICE | From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
| 1995 | PDPTA | A Concurrent, Specification Language over CML. | Mourad Debbabi |
| 1993 | ICCI | A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming. | Dominique Bolignano, Mourad Debbabi |
| 1992 | ISAAC | Higher Order Communication Processes with Value-Passing, Assignment and Return of Results. | Dominique Bolignano, Mourad Debbabi |