Higher Order Communication Processes with Value-Passing, Assignment and Return of Results. - Dominique Bolignano; Mourad Debbabi (ISAAC, 1992)

A Coherent Type System for a Concurrent, Functional and Imperative Programming Language. - Dominique Bolignano; Mourad Debbabi (AMAST, 1993)

A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming. - Dominique Bolignano; Mourad Debbabi (ICCI, 1993)

A Semantic Theory for Concurrent ML. - Dominique Bolignano; Mourad Debbabi (TACS, 1994)

A Concurrent, Specification Language over CML. - Mourad Debbabi (PDPTA, 1995)

A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs. - Mourad Debbabi; Ali Faour; Nadia Tawbi (Implementation of Functional Languages, 1996)

Formal Automatic Verification of Authentication Crytographic Protocols. - Mourad Debbabi; Mohamed Mejri; Nadia Tawbi; I. Yahmadi (ICFEM, 1997)

From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. - Mourad Debbabi; Mohamed Mejri; Nadia Tawbi; I. Yahmadi (WETICE, 1997)

On the Inference od Structured Recursive Effects with Subtyping. - Mourad Debbabi; Zahia Aïdoud; Ali Faour (J. Funct. Log. Program., 1997)

A Model-Based Concurrent Specification Language Over CML: Semantic Foundations. - Mourad Debbabi (Parallel Process. Lett., 1997)

An Environment for the Specification and Analysis of Cryptoprotocols. - Mourad Debbabi; Y. Legaré; Mohamed Mejri (ACSAC, 1998)

A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. - Mourad Debbabi; Abdelkader Benzakour; Béchir Ktari (AMAST, 1998)

Final Summary Report on Enterprise Security. - Yahya Y. Al-Salqan; Nahid Shahmehri; Wu Wen; Mourad Debbabi (WETICE, 1999)

Static Analysis of Binary Code to Isolate Malicious Behaviors. - J. Bergeron; Mourad Debbabi; M. M. Erhioui; Béchir Ktari (WETICE, 1999)

Sur la sémantique statique de Java. - Mourad Debbabi; M. Fourati (LMO, 2000)

Verifying Object Initialization in the Java Bytecode Language. - Stephane Doyon; Mourad Debbabi (SAC (2), 2000)

Secure Self-Certified COTS. - Mourad Debbabi; E. Giasson; Béchir Ktari; Frédéric Michaud; Nadia Tawbi (WETICE, 2000)

On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier. - Frédéric Painchaud; Mourad Debbabi (WETICE, 2000)

On object initialization in the Java bytecode. - Stephane Doyon; Mourad Debbabi (Comput. Commun., 2000)

Abstract interpretation for proving secrecy properties in security protocols. - Kamel Adi; Mourad Debbabi (LACPV@CAV, 2001)

Secure Self-certified Code for Java. - Mourad Debbabi; Josée Desharnais; M. Fourati; E. Menif; Frédéric Painchaud; Nadia Tawbi (FASec, 2002)

Method Call Acceleration in Embedded Java Virtual Machines. - Mourad Debbabi; M. M. Erhioui; Lamia Ketari; Nadia Tawbi; Hamdi Yahyaoui; Sami Zhioua (International Conference on Computational Science, 2003)

Towards the Correctness of Security Protocols. - Mourad Debbabi; Mohamed Mejri (MFPS, 2003)

Security by typing. - Mourad Debbabi; Nancy A. Durgin; Mohamed Mejri; John C. Mitchell (Int. J. Softw. Tools Technol. Transf., 2003)

A new logic for electronic commerce protocols. - Kamel Adi; Mourad Debbabi; Mohamed Mejri (Theor. Comput. Sci., 2003)

The war of presence and instant messaging: right protocols and APIs. - Mourad Debbabi; Mahfuzur Rahman (CCNC, 2004)

A dynamic compiler for embedded Java virtual machines. - Mourad Debbabi; Abdelouahed Gherbi; Lamia Ketari; Chamseddine Talhi; Nadia Tawbi; Hamdi Yahyaoui; Sami Zhioua (PPPJ, 2004)

a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines. - Mourad Debbabi; Abdelouahed Gherbi; Lamia Ketari; Chamseddine Talhi; Hamdi Yahyaoui; Sami Zhioua (PPPJ, 2004)

Java for Mobile Devices: A Security Study. - Mourad Debbabi; Mohamed Mostafa Saleh; Chamseddine Talhi; Sami Zhioua (ACSAC, 2005)

Security Analysis of Mobile Java. - Mourad Debbabi; Mohamed Mostafa Saleh; Chamseddine Talhi; Sami Zhioua (DEXA Workshops, 2005)

Game Semantics Model for Security Protocols. - Mourad Debbabi; Mohamed Mostafa Saleh (ICFEM, 2005)

Security Analysis of Wireless Java. - Mourad Debbabi; Mohamed Mostafa Saleh; Chamseddine Talhi; Sami Zhioua (PST, 2005)

Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors. - Mourad Debbabi; Azzam Mourad; Nadia Tawbi (SAC, 2005)

Accelerating embedded Java for mobile devices. - Mourad Debbabi; Azzam Mourad; Chamseddine Talhi; Hamdi Yahyaoui (IEEE Commun. Mag., 2005)

E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines. - Mourad Debbabi; Abdelouahed Gherbi; Lamia Ketari; Chamseddine Talhi; Hamdi Yahyaoui; Sami Zhioua; Nadia Tawbi (J. Object Technol., 2005)

On the verification and validation of uml structural and behavioral diagrams. - Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne; Andrei Soeanu (ACST, 2006)

AOP Extension for Security Testing of Programs. - Nadia Belblidia; Mourad Debbabi; Aiman Hanna; Zhenrong Yang (CCECE, 2006)

Security Design Patterns: Survey and Evaluation. - Marc-André Laverdière; Azzam Mourad; Aiman Hanna; Mourad Debbabi (CCECE, 2006)

A Survey of Secure B2C Commerce for Multicast Services. - Anil Kumar Venkataiahgari; J. William Atwood; Mourad Debbabi (CCECE, 2006)

Secure E-commerce Protection Profile. - Anil Kumar Venkataiahgari; Mourad Debbabi; J. William Atwood (Security and Management, 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 (ECBS, 2006)

A Game Theoretic Approach to Detect Network Intrusions: The Cooperative Intruders Scenario. - Mona Mehrandish; Hadi Otrok; Mourad Debbabi; Chadi Assi; Prabir Bhattacharya (GLOBECOM, 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 (IASTED Conf. on Software Engineering, 2006)

A Game Theoretic Model to Handle Network Intrusions over Multiple Packets. - Mona Mehrandish; Chadi M. Assi; Mourad Debbabi (ICC, 2006)

QoS-Aware Middleware for Web Services Composition - A Qualitative Approach. - Hassan Issa 002; Chadi Assi; Mourad Debbabi (ISCC, 2006)

Towards a Formal Semantics for AspectJ Weaving. - Nadia Belblidia; Mourad Debbabi (JMLC, 2006)

Security crosscutting concerns and AspectJ. - Dima Alhadidi; Nadia Belblidia; Mourad Debbabi (PST, 2006)

Security hardening of open source software. - Azzam Mourad; Marc-André Laverdière; Mourad Debbabi (PST, 2006)

Execution monitoring enforcement for limited-memory systems. - Chamseddine Talhi; Nadia Tawbi; Mourad Debbabi (PST, 2006)

Formalizing AspectJ Weaving for Static Pointcuts. - Nadia Belblidia; Mourad Debbabi (SEFM, 2006)

A Formal Approach for the Forensic Analysis of Logs. - Ali Reza Arasteh; Mourad Debbabi; Assaad Sakha (SoMeT, 2006)

Common Criteria Approach to J2ME CLDC Security Requirements. - Mourad Debbabi; Mohamed Mostafa Saleh; Chamseddine Talhi; Sami Zhioua (SoMeT, 2006)

Secure E-Commerce Transactions for Multicast Services. - Anil Kumar Venkataiahgari; J. William Atwood; Mourad Debbabi (CEC/EEE, 2006)

Security Evaluation of J2ME CLDC Embedded Java Platform. - Mourad Debbabi; Mohamed Mostafa Saleh; Chamseddine Talhi; Sami Zhioua (J. Object Technol., 2006)

A selective dynamic compiler for embedded Java virtual machines targeting ARM processors. - Mourad Debbabi; Abdelouahed Gherbi; Azzam Mourad; Hamdi Yahyaoui (Sci. Comput. Program., 2006)

Modeling Security Protocols as Games. - Mohamed Mostafa Saleh; Mourad Debbabi (IAS, 2007)

Team Edit Automata for Testing Security Property. - Zhenrong Yang; Aiman Hanna; Mourad Debbabi (IAS, 2007)

Towards an Aspect Oriented Approach for the Security Hardening of Code. - Azzam Mourad; Marc-André Laverdière; Mourad Debbabi (AINA Workshops (1), 2007)

Testing Intrusion Detection Systems in MANET: A Comprehensive Study. - Hadi Otrok; Joey Paquet; Mourad Debbabi; Prabir Bhattacharya (CNSR, 2007)

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. - Yosr Jarraya; Andrei Soeanu; Mourad Debbabi; Fawzi Hassaïne (ECBS, 2007)

A Cooperative Approach for Analyzing Intrusions in Mobile Ad hoc Networks. - Hadi Otrok; Mourad Debbabi; Chadi Assi; Prabir Bhattacharya (ICDCS Workshops, 2007)

A Security Hardening Language Based on Aspect-Orientation. - Azzam Mourad; Marc-André Laverdière; Mourad Debbabi (ICETE (Selected Papers), 2007)

Control Flow Based Pointcuts for Security Hardening Concerns. - Marc-André Laverdière; Azzam Mourad; Andrei Soeanu; Mourad Debbabi (IFIPTM, 2007)

A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. - Hamdi Yahyaoui; Mourad Debbabi; Nadia Tawbi (QSIC, 2007)

A High-Level Aspect-Oriented based Language for Software Security Hardening. - Azzam Mourad; Marc-André Laverdière; Mourad Debbabi (SECRYPT, 2007)

An AOP Extended Lambda-Calculus. - Dima Alhadidi; Nadia Belblidia; Mourad Debbabi; Prabir Bhattacharya (SEFM, 2007)

Verifying Security Properties of Cryptoprotocols: A Novel Approach. - Mohamed Mostafa Saleh; Mourad Debbabi (SEFM, 2007)

New Primitives to AOP Weaving Capabilities for Security Hardening Concerns. - Azzam Mourad; Marc-André Laverdière; Mourad Debbabi (WOSIS, 2007)

An Efficient and Truthful Leader IDS Election Mechanism for MANET. - Hadi Otrok; Noman Mohammed; Lingyu Wang 001; Mourad Debbabi; Prabir Bhattacharya (WiMob, 2007)

Forensic memory analysis: From stack and code to execution history. - Ali Reza Arasteh; Mourad Debbabi (Digit. Investig., 2007)

Analyzing multiple logs for forensic evidence. - Ali Reza Arasteh; Mourad Debbabi; Assaad Sakha; Mohamed Mostafa Saleh (Digit. Investig., 2007)

A Dynamic Operational Semantics for JVML. - Nadia Belblidia; Mourad Debbabi (J. Object Technol., 2007)

A Formal Type System for Java. - Mourad Debbabi; M. Fourati (J. Object Technol., 2007)

What middleware for network centric operations? - Ali Benssam; Jean Berger; Abdeslem Boukhtouta; Mourad Debbabi; Sujoy Ray; Abderrazak Sahi (Knowl. Based Syst., 2007)

Forensic analysis of logs: Modeling and verification. - Mohamed Mostafa Saleh; Ali Reza Arasteh; Assaad Sakha; Mourad Debbabi (Knowl. Based Syst., 2007)

Type and Effect Annotations for Safe Memory Access in C. - Syrine Tlili; Mourad Debbabi (ARES, 2008)

A novel flow-sensitive type and effect analysis for securing C code. - Syrine Tlili; Mourad Debbabi (AICCSA, 2008)

A Hybrid Approach for Safe Memory Management in C. - Syrine Tlili; Zhenrong Yang; Hai Zhou Ling; Mourad Debbabi (AMAST, 2008)

Towards Automation of Testing High-Level Security Properties. - Aiman Hanna; Hai Zhou Ling; Jason Furlong; Mourad Debbabi (DBSec, 2008)

File Type Analysis Using Signal Processing Techniques and Machine Learning vs. File Unix Utility for Forensic Analysis. - Serguei A. Mokhov; Mourad Debbabi (IMF, 2008)

Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (IMF, 2008)

A framework for privacy-preserving cluster analysis. - Benjamin C. M. Fung; Ke Wang 001; Lingyu Wang 001; Mourad Debbabi (ISI, 2008)

Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. - Rachid Hadjidj; Xiaochun Yang; Syrine Tlili; Mourad Debbabi (PST, 2008)

Cross-Language Weaving Approach Targeting Software Security Hardening. - Azzam Mourad; Dima Alhadidi; Mourad Debbabi (PST, 2008)

Targeting Security Vulnerabilities: From Specification to Detection (Short Paper). - Aiman Hanna; Hai Zhou Ling; Jason Furlong; Zhenrong Yang; Mourad Debbabi (QSIC, 2008)

Towards Language-Independent Approach for Security Concerns Weaving. - Azzam Mourad; Dima Alhadidi; Mourad Debbabi (SECRYPT, 2008)

A Mechanism Design-Based Multi-Leader Election Scheme for Intrusion Detection in MANET. - Noman Mohammed; Hadi Otrok; Lingyu Wang 001; Mourad Debbabi; Prabir Bhattacharya (WCNC, 2008)

A Moderate to Robust Game Theoretical Model for Intrusion Detection in MANETs. - Hadi Otrok; Noman Mohammed; Lingyu Wang 001; Mourad Debbabi; Prabir Bhattacharya (WiMob, 2008)

A Mechanism Design-Based Secure Architecture for Mobile Ad Hoc Networks. - Abderrezak Rachedi; Abderrahim Benslimane; Hadi Otrok; Noman Mohammed; Mourad Debbabi (WiMob, 2008)

Game theoretic models for detecting network intrusions. - Hadi Otrok; Mona Mehrandish; Chadi Assi; Mourad Debbabi; Prabir Bhattacharya (Comput. Commun., 2008)

A game-theoretic intrusion detection model for mobile ad hoc networks. - Hadi Otrok; Noman Mohammed; Lingyu Wang 001; Mourad Debbabi; Prabir Bhattacharya (Comput. Commun., 2008)

An aspect-oriented approach for the systematic security hardening of code. - Azzam Mourad; Marc-André Laverdière; Mourad Debbabi (Comput. Secur., 2008)

A novel approach of mining write-prints for authorship attribution in e-mail forensics. - Farkhund Iqbal; Rachid Hadjidj; Benjamin C. M. Fung; Mourad Debbabi (Digit. Investig., 2008)

Execution monitoring enforcement under memory-limitation constraints. - Chamseddine Talhi; Nadia Tawbi; Mourad Debbabi (Inf. Comput., 2008)

New AspectJ Pointcuts for Integer Overflow and Underflow Detection. - Dima Alhadidi; Mourad Debbabi; Prabir Bhattacharya (Inf. Secur. J. A Glob. Perspect., 2008)

A High-level Aspect-oriented-based Framework for Software Security Hardening. - Azzam Mourad; Marc-André Laverdière; Mourad Debbabi (Inf. Secur. J. A Glob. Perspect., 2008)

Automated Windows Memory File Extraction for Cyber Forensics Investigation. - Seyed Mahmood Hejazi; Mourad Debbabi; Chamseddine Talhi (J. Digit. Forensic Pract., 2008)

Mobile Security: Game Theory. - Chadi Assi; Prabir Bhattacharya; Mourad Debbabi; Mona Mehrandish; Hadi Otrok (Encyclopedia of Wireless and Mobile Communications, 2008)

Wireless Applications: Middleware Security. - Mourad Debbabi; Marc-André Laverdière; Azzam Mourad; Syrine Tlili (Encyclopedia of Wireless and Mobile Communications, 2008)

A Practical Framework for the Dataflow Pointcut in AspectJ. - Amine Boukhtouta; Dima Alhadidi; Mourad Debbabi (ARES, 2009)

The dataflow pointcut: a formal and practical framework. - Dima Alhadidi; Amine Boukhtouta; Nadia Belblidia; Mourad Debbabi; Prabir Bhattacharya (AOSD, 2009)

Weaving security aspects into UML 2.0 design models. - Djedjiga Mouheb; Chamseddine Talhi; Vitor Lima; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (AOM@AOSD, 2009)

Walking in the crowd: anonymizing trajectory data for pattern analysis. - Noman Mohammed; Benjamin C. M. Fung; Mourad Debbabi (CIKM, 2009)

On the Meaning of SysML Activity Diagrams. - Yosr Jarraya; Mourad Debbabi; Jamal Bentahar (ECBS, 2009)

Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract). - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (HSC, 2009)

Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (HSC, 2009)

A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities. - Aiman Hanna; Hai Zhou Ling; Xiaochun Yang; Mourad Debbabi (OTM Conferences (2), 2009)

Verification of CERT Secure Coding Rules: Case Studies. - Syrine Tlili; Xiaochun Yang; Rachid Hadjidj; Mourad Debbabi (OTM Conferences (2), 2009)

An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation. - Djedjiga Mouheb; Chamseddine Talhi; Azzam Mourad; Vitor Lima; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (SoMeT, 2009)

lambda_SAOP: A Security AOP Calculus. - Dima Alhadidi; Nadia Belblidia; Mourad Debbabi; Prabir Bhattacharya (Comput. J., 2009)

New aspect-oriented constructs for security hardening concerns. - Azzam Mourad; Andrei Soeanu; Marc-André Laverdière; Mourad Debbabi (Comput. Secur., 2009)

Reasoning About an ACME Printer Case Investigation with Forensic Lucid - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (CoRR, 2009)

Towards an integrated e-mail forensic analysis framework. - Rachid Hadjidj; Mourad Debbabi; Hakim Lounis; Farkhund Iqbal; Adam Szporer; Djamel Benredjem (Digit. Investig., 2009)

Extraction of forensically sensitive information from windows physical memory. - Seyed Mahmood Hejazi; Chamseddine Talhi; Mourad Debbabi (Digit. Investig., 2009)

QoS-aware middleware for web services composition: a qualitative approach. - Hassan Issa 002; Chadi Assi; Mourad Debbabi; Sujoy Ray (Enterp. Inf. Syst., 2009)

Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. - Vitor Lima; Chamseddine Talhi; Djedjiga Mouheb; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (SSV, 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)

Capturing Returned Computable Values in AspectJ for Security Hardening. - Amine Boukhtouta; Dima Alhadidi; Mourad Debbabi (Inf. Secur. J. A Glob. Perspect., 2009)

Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. - Syrine Tlili; Mourad Debbabi (J. Autom. Reason., 2009)

Usability of Security Specification Approaches for UML Design: A Survey. - Chamseddine Talhi; Djedjiga Mouheb; Vitor Lima; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (J. Object Technol., 2009)

Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité. - Azzam Mourad; Marc-André Laverdière; Andrei Soeanu; Mourad Debbabi (Tech. Sci. Informatiques, 2009)

Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models. - Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh (Springer, 2010)

Towards a self-forensics property in the ASSL toolset. - Serguei A. Mokhov; Emil Vassev; Joey Paquet; Mourad Debbabi (C3S2E, 2010)

Aspect weaver: a model transformation approach for UML models. - Mariam Nouh; Raha Ziarati; Djedjiga Mouheb; Dima Alhadidi; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (CASCON, 2010)

Insights from the analysis of the Mariposa botnet. - Prosenjit Sinha; Amine Boukhtouta; Victor Heber Belarde; Mourad Debbabi (CRiSIS, 2010)

Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework. - Djedjiga Mouheb; Dima Alhadidi; Mariam Nouh; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (FACS, 2010)

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 001 (PST, 2010)

Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (RAID, 2010)

e-mail authorship verification for forensic investigation. - Farkhund Iqbal; Liaquat A. Khan; Benjamin C. M. Fung; Mourad Debbabi (SAC, 2010)

Defaming Botnet Toolkits: A Bottom-Up Approach to Mitigating the Threat. - Thomas C. Ormerod; Lingyu Wang 001; Mourad Debbabi; Amr M. Youssef; Hamad Binsalleeh; Amine Boukhtouta; Prosenjit Sinha (SECURWARE, 2010)

Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML. - Djedjiga Mouheb; Chamseddine Talhi; Mariam Nouh; Vitor Lima; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (SERA (selected papers), 2010)

Verification of the Correctness in Composed UML Behavioural Diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi; Makan Pourzandi (SERA (selected papers), 2010)

The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (CoRR, 2010)

Mining writeprints from anonymous e-mails for forensic investigation. - Farkhund Iqbal; Hamad Binsalleeh; Benjamin C. M. Fung; Mourad Debbabi (Digit. Investig., 2010)

Security Evaluation and Hardening of Free and Open Source Software (FOSS). - Robert Charpentier; Mourad Debbabi; Dima Alhadidi; Azzam Mourad; Nadia Belblidia; Amine Boukhtouta; Aiman Hanna; Rachid Hadjidj; Hakim Idrissi Kaitouni; Marc-André Laverdière; Hai Zhou Ling; Syrine Tlili; et al. (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A game-theoretic framework for specification and verification of cryptographic protocols. - Mohamed Mostafa Saleh; Mourad Debbabi (Formal Aspects Comput., 2010)

A Secure Mechanism Design-Based and Game Theoretical Model for MANETs. - Abderrezak Rachedi; Abderrahim Benslimane; Hadi Otrok; Noman Mohammed; Mourad Debbabi (Mob. Networks Appl., 2010)

PCM: a privacy-preserving detection mechanism in mobile ad hoc networks. - Bo Zhu 001; Kui Ren 001; Lingyu Wang 001; Mourad Debbabi (Secur. Commun. Networks, 2010)

A decentralized heuristic for multi-depot split-delivery vehicle routing problem. - Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Jean Berger; Abdeslem Boukhtouta; Ahmed Ghanmi (ICAL, 2011)

Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (ICDF2C, 2011)

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 (PST, 2011)

Privacy-preserving traffic padding in web-based applications. - Wen Ming Liu; Lingyu Wang 001; Pengsu Cheng; Mourad Debbabi (WPES, 2011)

Mechanism Design-Based Secure Leader Election Model for Intrusion Detection in MANET. - Noman Mohammed; Hadi Otrok; Lingyu Wang 001; Mourad Debbabi; Prabir Bhattacharya (IEEE Trans. Dependable Secur. Comput., 2011)

Anonymity meets game theory: secure data integration with malicious participants. - Noman Mohammed; Benjamin C. M. Fung; Mourad Debbabi (VLDB J., 2011)

On SPIM detection in LTE networks. - Swagata Das; Makan Pourzandi; Mourad Debbabi (CCECE, 2012)

Model checking based service delivery planning. - Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Jean Berger; Abdeslem Boukhtouta; Ahmed Ghanmi (CCECE, 2012)

Investigating the dark cyberspace: Profiling, threat-based analysis and correlation. - Claude Fachkha; Elias Bou-Harb; Amine Boukhtouta; Son Dinh; Farkhund Iqbal; Mourad Debbabi (CRiSIS, 2012)

Cloud calculus: Security verification in elastic cloud computing platform. - Yosr Jarraya; Arash Eghtesadi; Mourad Debbabi; Ying Zhang 022; Makan Pourzandi (CTS, 2012)

RESource: A Framework for Online Matching of Assembly with Open Source Code. - Ashkan Rahimian; Philippe Charland; Stere Preda; Mourad Debbabi (FPS, 2012)

A first look on the effects and mitigation of VoIP SPIT flooding in 4G mobile networks. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (ICC, 2012)

A Learning Based Evolutionary Algorithm For Distributed Multi-Depot VRP. - Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Jean Berger; Abdeslem Boukhtouta (KES, 2012)

Secure Distributed Framework for Achieving ε-Differential Privacy. - Dima Alhadidi; Noman Mohammed; Benjamin C. M. Fung; Mourad Debbabi (Privacy Enhancing Technologies, 2012)

k-Indistinguishable Traffic Padding in Web Applications. - Wen Ming Liu; Lingyu Wang 001; Kui Ren 001; Pengsu Cheng; Mourad Debbabi (Privacy Enhancing Technologies, 2012)

Mechanism design for decentralized vehicle routing problem. - Mohamed Mostafa Saleh; Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Jean Berger; Abdeslem Boukhtouta (SAC, 2012)

Formal Analysis of the TLS Handshake Protocol. - Hanane Houmani; Mourad Debbabi (SECRYPT, 2012)

Efficient Probabilistic Abstraction for SysML Activity Diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (SEFM, 2012)

Continuation/Frame-based Semantics for Aspect Matching and Weaving. - Djedjiga Mouheb; Raha Ziarati; Mourad Debbabi (SoMeT, 2012)

Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. - Yosr Jarraya; Arash Eghtesadi; Mourad Debbabi; Ying Zhang 022; Makan Pourzandi (SSS, 2012)

Formal Specification and Probabilistic Verification of SysML Activity Diagrams. - Yosr Jarraya; Mourad Debbabi (TASE, 2012)

Mining Criminal Networks from Chat Log. - Farkhund Iqbal; Benjamin C. M. Fung; Mourad Debbabi (Web Intelligence, 2012)

MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi; Yankui Sun (CoRR, 2012)

Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. - Samir Ouchani; Yosr Jarraya; Otmane Aït Mohamed; Mourad Debbabi (J. Softw., 2012)

A Statistical Approach for Fingerprinting Probing Activities. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (ARES, 2013)

Towards Fingerprinting Malicious Traffic. - Amine Boukhtouta; Nour-Eddine Lakhdari; Serguei A. Mokhov; Mourad Debbabi (ANT/SEIT, 2013)

Towards a Distributed Plan Execution Monitoring Framework. - Yosr Jarraya; Sujoy Ray; Andrei Soeanu; Mourad Debbabi; Mohamad Allouche; Jean Berger (ANT/SEIT, 2013)

Gossiping Based Distributed Plan Monitoring. - Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Mohamad Allouche; Jean Berger (ANT/SEIT, 2013)

Symmetrically-Private Database Search in Cloud Computing. - Samira Barouti; Dima Alhadidi; Mourad Debbabi (CloudCom (1), 2013)

Background Knowledge-Resistant Traffic Padding for Preserving User Privacy in Web-Based Applications. - Wen Ming Liu; Lingyu Wang 001; Kui Ren 001; Mourad Debbabi (CloudCom (1), 2013)

A formal verification framework for Bluespec System Verilog. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (FDL, 2013)

On the Reverse Engineering of the Citadel Botnet. - Ashkan Rahimian; Raha Ziarati; Stere Preda; Mourad Debbabi (FPS, 2013)

Emergency Mobile Access to Personal Health Records Stored on an Untrusted Cloud. - Feras Aljumah; Raymond Hei Man Leung; Makan Pourzandi; Mourad Debbabi (HIS, 2013)

On detecting and clustering distributed cyber scanning. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (IWCMC, 2013)

Towards a Forecasting Model for Distributed Denial of Service Activities. - Claude Fachkha; Elias Bou-Harb; Mourad Debbabi (NCA, 2013)

A probabilistic verification framework of SysML activity diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (SoMeT, 2013)

A Security Risk Assessment Framework for SysML Activity Diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (SERE, 2013)

Aspect-Oriented Semantic Framework for Executable Models. - Djedjiga Mouheb; Raha Ziarati; Mourad Debbabi (TASE, 2013)

Communication security for smart grid distribution networks. - Elias Bou-Harb; Claude Fachkha; Makan Pourzandi; Mourad Debbabi; Chadi Assi (IEEE Commun. Mag., 2013)

A systematic approach for detecting and clustering distributed cyber scanning. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (Comput. Networks, 2013)

A unified data mining solution for authorship analysis in anonymous textual communications. - Farkhund Iqbal; Hamad Binsalleeh; Benjamin C. M. Fung; Mourad Debbabi (Inf. Sci., 2013)

Common weaving approach in mainstream languages for software security hardening. - Dima Alhadidi; Azzam Mourad; Hakim Idrissi Kaitouni; Mourad Debbabi (J. Syst. Softw., 2013)

A secure, efficient, and cost-effective distributed architecture for spam mitigation on LTE 4G mobile networks. - Elias Bou-Harb; Makan Pourzandi; Mourad Debbabi; Chadi Assi (Secur. Commun. Networks, 2013)

The Use of NLP Techniques in Static Code Analysis to Detect Weaknesses and Vulnerabilities. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (Canadian AI, 2014)

Toward Automated MAC Spoofer Investigations. - Serguei A. Mokhov; Michael J. Assels; Joey Paquet; Mourad Debbabi (C3S2E, 2014)

Secure and Privacy-Preserving Querying of Personal Health Records in the Cloud. - Samira Barouti; Feras Aljumah; Dima Alhadidi; Mourad Debbabi (DBSec, 2014)

Automating MAC Spoofer Evidence Gathering and Encoding for Investigations. - Serguei A. Mokhov; Michael J. Assels; Joey Paquet; Mourad Debbabi (FPS, 2014)

Preservation of Security Configurations in the Cloud. - Arash Eghtesadi; Yosr Jarraya; Mourad Debbabi; Makan Pourzandi (IC2E, 2014)

Inferring internet-scale infections by correlating malware and probing activities. - Elias Bou-Harb; Claude Fachkha; Mourad Debbabi; Chadi Assi (ICC, 2014)

Detection of malicious payload distribution channels in DNS. - A. Mert Kara; Hamad Binsalleeh; Mohammad Mannan; Amr M. Youssef; Mourad Debbabi (ICC, 2014)

Behavioral analytics for inferring large-scale orchestrated probing events. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (INFOCOM Workshops, 2014)

Characterization of Covert Channels in DNS. - Hamad Binsalleeh; A. Mert Kara; Amr M. Youssef; Mourad Debbabi (NTMS, 2014)

Inferring Malware Family through Application Protocol Sequences Signature. - Amine Boukhtouta; Nour-Eddine Lakhdari; Mourad Debbabi (NTMS, 2014)

Fingerprinting Internet DNS Amplification DDoS Activities. - Claude Fachkha; Elias Bou-Harb; Mourad Debbabi (NTMS, 2014)

BinClone: Detecting Code Clones in Malware. - Mohammad Reza Farhadi; Benjamin C. M. Fung; Philippe Charland; Mourad Debbabi (SERE, 2014)

On fingerprinting probing activities. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (Comput. Secur., 2014)

Cyber Scanning: A Comprehensive Survey. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (IEEE Commun. Surv. Tutorials, 2014)

A Survey and a Layered Taxonomy of Software-Defined Networking. - Yosr Jarraya; Taous Madi; Mourad Debbabi (IEEE Commun. Surv. Tutorials, 2014)

OBA2: An Onion approach to Binary code Authorship Attribution. - Saed Alrabaee; Noman Saleem; Stere Preda; Lingyu Wang 001; Mourad Debbabi (Digit. Investig., 2014)

Multidimensional investigation of source port 0 probing. - Elias Bou-Harb; Nour-Eddine Lakhdari; Hamad Binsalleeh; Mourad Debbabi (Digit. Investig., 2014)

A formal verification framework for SysML activity diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (Expert Syst. Appl., 2014)

A property-based abstraction framework for SysML activity diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (Knowl. Based Syst., 2014)

The multi-depot split-delivery vehicle routing problem: Model and solution algorithm. - Sujoy Ray; Andrei Soeanu; Jean Berger; Mourad Debbabi (Knowl. Based Syst., 2014)

Quantitative and qualitative analysis of SysML activity diagrams. - Yosr Jarraya; Mourad Debbabi (Int. J. Softw. Tools Technol. Transf., 2014)

PPTP: Privacy-Preserving Traffic Padding in Web-Based Applications. - Wen Ming Liu; Lingyu Wang 001; Pengsu Cheng; Kui Ren 001; Shunzhi Zhu; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2014)

Secure Two-Party Differentially Private Data Release for Vertically Partitioned Data. - Noman Mohammed; Dima Alhadidi; Benjamin C. M. Fung; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2014)

Aspect-Oriented Security Hardening of UML Design Models - Djedjiga Mouheb; Mourad Debbabi; Makan Pourzandi; Lingyu Wang 001; Mariam Nouh; Raha Ziarati; Dima Alhadidi; Chamseddine Talhi; Vitor Lima (Springer, 2015)

A Time Series Approach for Inferring Orchestrated Probing Campaigns by Analyzing Darknet Traffic. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (ARES, 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 001; Mourad Debbabi (CloudCom, 2015)

Towards migrating security policies of virtual machines in Software Defined Networks. - Sahba Sadri; Yosr Jarraya; Arash Eghtesadi; Mourad Debbabi (NetSoft, 2015)

A detection and mitigation model for PTP delay attack in a smart grid substation. - Bassam Moussa; Mourad Debbabi; Chadi Assi (SmartGridComm, 2015)

MARFCAT: Fast code analysis for defects and vulnerabilities. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (SWAN@SANER, 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)

Inferring distributed reflection denial of service attacks from darknet. - Claude Fachkha; Elias Bou-Harb; Mourad Debbabi (Comput. Commun., 2015)

Specification, verification, and quantification of security in model-based systems. - Samir Ouchani; Mourad Debbabi (Computing, 2015)

SIGMA: A Semantic Integrated Graph Matching Approach for identifying reused functions in binary code. - Saed Alrabaee; Paria Shirani; Lingyu Wang 001; Mourad Debbabi (Digit. Investig., 2015)

Graph-theoretic characterization of cyber-threat infrastructures. - Amine Boukhtouta; Djedjiga Mouheb; Mourad Debbabi; Omar Alfandi; Farkhund Iqbal; May El Barachi (Digit. Investig., 2015)

Spam campaign detection, analysis, and investigation. - Son Dinh; Taher Azeb; Francis Fortin; Djedjiga Mouheb; Mourad Debbabi (Digit. Investig., 2015)

Scalable code clone search for malware analysis. - Mohammad Reza Farhadi; Benjamin C. M. Fung; Yin Bun Fung; Philippe Charland; Stere Preda; Mourad Debbabi (Digit. Investig., 2015)

BinComp: A stratified approach to compiler provenance Attribution. - Ashkan Rahimian; Paria Shirani; Saed Alrabaee; Lingyu Wang 001; Mourad Debbabi (Digit. Investig., 2015)

Transportation risk analysis using probabilistic model checking. - Andrei Soeanu; Mourad Debbabi; Dima Alhadidi; Makram Makkawi; Mohamad Khaled Allouche; Micheline Bélanger; Nicolas Léchevin (Expert Syst. Appl., 2015)

A Visualizable Evidence-Driven Approach for Authorship Attribution. - Steven H. H. Ding; Benjamin C. M. Fung; Mourad Debbabi (ACM Trans. Inf. Syst. Secur., 2015)

On the inference and prediction of DDoS campaigns. - Claude Fachkha; Elias Bou-Harb; Mourad Debbabi (Wirel. Commun. Mob. Comput., 2015)

Cypider: building community-based cyber-defense infrastructure for android malware detection. - ElMouatez Billah Karbab; Mourad Debbabi; Abdelouahid Derhab; Djedjiga Mouheb (ACSAC, 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 001; Mourad Debbabi (ESORICS (1), 2016)

On the Feasibility of Malware Authorship Attribution. - Saed Alrabaee; Paria Shirani; Mourad Debbabi; Lingyu Wang 001 (FPS, 2016)

DySign: dynamic fingerprinting for the automatic detection of android malware. - ElMouatez Billah Karbab; Mourad Debbabi; Saed Alrabaee; Djedjiga Mouheb (MALWARE, 2016)

Cascading link failure analysis in interdependent networks for maximal outages in smart grid. - Parisa Akaber; Bassam Moussa; Mourad Debbabi; Chadi Assi (SmartGridComm, 2016)

A novel cyber security capability: Inferring Internet-scale infections by correlating malware and probing activities. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (Comput. Networks, 2016)

Darknet as a Source of Cyber Intelligence: Survey, Taxonomy, and Characterization. - Claude Fachkha; Mourad Debbabi (IEEE Commun. Surv. Tutorials, 2016)

Security Assessment of Time Synchronization Mechanisms for the Smart Grid. - Bassam Moussa; Mourad Debbabi; Chadi Assi (IEEE Commun. Surv. Tutorials, 2016)

BinGold: Towards robust binary analysis by extracting the semantics of binary code as semantic flow graphs (SFGs). - Saed Alrabaee; Lingyu Wang 001; Mourad Debbabi (Digit. Investig., 2016)

Fingerprinting Android packaging: Generating DNAs for malware detection. - ElMouatez Billah Karbab; Mourad Debbabi; Djedjiga Mouheb (Digit. Investig., 2016)

Hierarchy aware distributed plan execution monitoring. - Andrei Soeanu; Mourad Debbabi; Mohamad Allouche; Micheline Bélanger; Nicholas Léchevin (Expert Syst. Appl., 2016)

Aspect-oriented modeling framework for security hardening. - Djedjiga Mouheb; Dima Alhadidi; Mariam Nouh; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (Innov. Syst. Softw. Eng., 2016)

Energy-Efficient Monitor Deployment in Collaborative Distributed Setting. - Sujoy Ray; Mourad Debbabi; Mohamad Khaled Allouche; Nicolas Léchevin; Micheline Bélanger (IEEE Trans. Ind. Informatics, 2016)

Network malware classification comparison using DPI and flow packet headers. - Amine Boukhtouta; Serguei A. Mokhov; Nour-Eddine Lakhdari; Mourad Debbabi; Joey Paquet (J. Comput. Virol. Hacking Tech., 2016)

SONAR: Automatic Detection of Cyber Security Events over the Twitter Stream. - Quentin Le Sceller; ElMouatez Billah Karbab; Mourad Debbabi; Farkhund Iqbal (ARES, 2017)

BinSequence: Fast, Accurate and Scalable Binary Code Reuse Detection. - He Huang; Amr M. Youssef; Mourad Debbabi (AsiaCCS, 2017)

BinShape: Scalable and Robust Binary Library Function Identification Using Function Shape. - Paria Shirani; Lingyu Wang 001; Mourad Debbabi (DIMVA, 2017)

LeaPS: Learning-Based Proactive Security Auditing for Clouds. - Suryadipta Majumdar; Yosr Jarraya; Momen Oqaily; Amir Alimohammadifar; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (ESORICS (2), 2017)

Delay aware measurements gathering in WAMS communication network. - Reem Kateb; Parisa Akaber; Mosaddek Hossain Kamal Tushar; Mourad Debbabi; Chadi Assi (GlobalSIP, 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 001; Mourad Debbabi (NDSS, 2017)

BinSign: Fingerprinting Binary Functions to Support Automated Analysis of Code Executables. - Lina Nouh; Ashkan Rahimian; Djedjiga Mouheb; Mourad Debbabi; Aiman Hanna (SEC, 2017)

Measuring the security posture of IEC 61850 substations with redundancy against zero day attacks. - Onur Duman; Mengyuan Zhang 001; Lingyu Wang 001; Mourad Debbabi (SmartGridComm, 2017)

Android Malware Detection using Deep Learning on API Method Sequences. - ElMouatez Billah Karbab; Mourad Debbabi; Abdelouahid Derhab; Djedjiga Mouheb (CoRR, 2017)

Corrigendum to 'OBA2: An Onion approach to Binary code Authorship Attribution' [Digit Investig 11 (2014) S94-S103]. - Saed Alrabaee; Noman Saleem; Stere Preda; Lingyu Wang 001; Mourad Debbabi (Digit. Investig., 2017)

Big Data Behavioral Analytics Meet Graph Theory: On Effective Botnet Takedowns. - Elias Bou-Harb; Mourad Debbabi; Chadi Assi (IEEE Netw., 2017)

Privacy-Preserving Querying on Privately Encrypted Data in the Cloud. - Feras Aljumah; Makan Pourzandi; Mourad Debbabi (Trans. Large Scale Data Knowl. Centered Syst., 2017)

ToGather: Automatic Investigation of Android Malware Cyber-Infrastructures. - ElMouatez Billah Karbab; Mourad Debbabi (ARES, 2018)

Preserving Both Privacy and Utility in Network Trace Anonymization. - Meisam Mohammady; Lingyu Wang 001; Yuan Hong 001; Habib Louafi; Makan Pourzandi; Mourad Debbabi (CCS, 2018)

QuantiC: Distance Metrics for Evaluating Multi-Tenancy Threats in Public Cloud. - Taous Madi; Mengyuan Zhang 001; Yosr Jarraya; Amir Alimohammadifar; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (CloudCom, 2018)

PERMON: An OpenStack Middleware for Runtime Security Policy Enforcement in Clouds. - Azadeh Tabiban; Suryadipta Majumdar; Lingyu Wang 001; Mourad Debbabi (CNS, 2018)

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 001; Aiman Hanna (DIMVA, 2018)

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 (DSN, 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 001; Mourad Debbabi (ESORICS (2), 2018)

On Leveraging Coding Habits for Effective Binary Authorship Attribution. - Saed Alrabaee; Paria Shirani; Lingyu Wang 001; Mourad Debbabi; Aiman Hanna (ESORICS (1), 2018)

Daedalus: Network Anomaly Detection on IDS Stream Logs. - Aniss Chohra; Mourad Debbabi; Paria Shirani (FPS, 2018)

Cloud Security Auditing: Major Approaches and Existing Challenges. - Suryadipta Majumdar; Taous Madi; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (FPS, 2018)

OpenStack-Based Evaluation Framework for Smart Grid Cyber Security. - Abdullah Albarakati; Bassam Moussa; Mourad Debbabi; Amr M. Youssef; Basile L. Agba; Marthe Kassouf (SmartGridComm, 2018)

Detecting Internet Abuse by Analyzing Passive DNS Traffic: A Survey of Implemented Systems. - Sadegh Torabi; Amine Boukhtouta; Chadi Assi; Mourad Debbabi (IEEE Commun. Surv. Tutorials, 2018)

Efficient sensor network management for asset localization. - Andrei Soeanu; Sujoy Ray; Jean Berger; Mourad Debbabi (Comput. Oper. Res., 2018)

Automatic Investigation Framework for Android Malware Cyber-Infrastructures. - ElMouatez Billah Karbab; Mourad Debbabi (CoRR, 2018)

Toward Multimodal Interaction in Scalable Visual Digital Evidence Visualization Using Computer Vision Techniques and ISS. - Serguei A. Mokhov; Miao Song 001; Jashanjot Singh; Joey Paquet; Mourad Debbabi; Sudhir P. Mudur (CoRR, 2018)

Portable, Data-Driven Malware Detection using Language Processing and Machine Learning Techniques on Behavioral Analysis Reports. - ElMouatez Billah Karbab; Mourad Debbabi (CoRR, 2018)

Data-driven approach for automatic telephony threat analysis and campaign detection. - Houssem Eddine Bordjiba; ElMouatez Billah Karbab; Mourad Debbabi (Digit. Investig., 2018)

MalDozer: Automatic framework for android malware detection using deep learning. - ElMouatez Billah Karbab; Mourad Debbabi; Abdelouahid Derhab; Djedjiga Mouheb (Digit. Investig., 2018)

CSC-Detector: A System to Infer Large-Scale Probing Campaigns. - Elias Bou-Harb; Chadi Assi; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2018)

User-Level Runtime Security Auditing for the Cloud. - Suryadipta Majumdar; Taous Madi; Yushun Wang; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Inf. Forensics Secur., 2018)

Critical Links Identification for Selective Outages in Interdependent Power-Communication Networks. - Bassam Moussa; Parisa Akaber; Mourad Debbabi; Chadi Assi (IEEE Trans. Ind. Informatics, 2018)

FOSSIL: A Resilient and Efficient System for Identifying FOSS Functions in Malware Binaries. - Saed Alrabaee; Paria Shirani; Lingyu Wang 001; Mourad Debbabi (ACM Trans. Priv. Secur., 2018)

Optimal Tree Construction Model for Cyber-Attacks to Wide Area Measurement Systems. - Reem Kateb; Mosaddek Hossain Kamal Tushar; Chadi Assi; Mourad Debbabi (IEEE Trans. Smart Grid, 2018)

A Detection and Mitigation Model for PTP Delay Attack in an IEC 61850 Substation. - Bassam Moussa; Mourad Debbabi; Chadi Assi (IEEE Trans. Smart Grid, 2018)

Modeling NFV Deployment to Identify the Cross-Level Inconsistency Vulnerabilities. - Sudershan Lakshmanan Thirunavukkarasu; Mengyuan Zhang 001; Alaa Oqaily; Gagandeep Singh Chawla; Lingyu Wang 001; Makan Pourzandi; Mourad Debbabi (CloudCom, 2019)

Multi-Level Proactive Security Auditing for Clouds. - Suryadipta Majumdar; Azadeh Tabiban; Meisam Mohammady; Alaa Oqaily; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (DSC, 2019)

Detecting, Fingerprinting and Tracking Reconnaissance Campaigns Targeting Industrial Control Systems. - Olivier Cabana; Amr M. Youssef; Mourad Debbabi; Bernard Lebel; Marthe Kassouf; Basile L. Agba (DIMVA, 2019)

BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning. - Saed Alrabaee; ElMouatez Billah Karbab; Lingyu Wang 001; Mourad Debbabi (ESORICS (2), 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 001; Mourad Debbabi (ESORICS (2), 2019)

iCAT: An Interactive Customizable Anonymization Tool. - Momen Oqaily; Yosr Jarraya; Mengyuan Zhang 001; Lingyu Wang 001; Makan Pourzandi; Mourad Debbabi (ESORICS (1), 2019)

Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management1. - Abdullah Albarakati; Chantale Robillard; Mark Karanfil; Marthe Kassouf; Rachid Hadjidj; Mourad Debbabi; Amr M. Youssef (SmartGridComm, 2019)

Modeling Supply Chain Attacks in IEC 61850 Substations. - Onur Duman; Mohsen Ghafouri; Marthe Kassouf; Ribal Atallah; Lingyu Wang 001; Mourad Debbabi (SmartGridComm, 2019)

Wordnet-Based Criminal Networks Mining for Cybercrime Investigation. - Farkhund Iqbal; Benjamin C. M. Fung; Mourad Debbabi; Rabia Batool; Andrew Marrington (IEEE Access, 2019)

On the feasibility of binary authorship characterization. - Saed Alrabaee; Mourad Debbabi; Lingyu Wang 001 (Digit. Investig., 2019)

MalDy: Portable, data-driven malware detection using natural language processing and machine learning techniques on behavioral analysis reports. - ElMouatez Billah Karbab; Mourad Debbabi (Digit. Investig., 2019)

Evolutionary learning algorithm for reliable facility location under disruption. - Badr Afify; Sujoy Ray; Andrei Soeanu; Anjali Awasthi; Mourad Debbabi; Mohamad Allouche (Expert Syst. Appl., 2019)

Securing the Precision Time Protocol (PTP) Against Fake Timestamps. - Bassam Moussa; Chantale Robillard; Alf Zugenmaier; Marthe Kassouf; Mourad Debbabi; Chadi Assi (IEEE Commun. Lett., 2019)

Decoupling coding habits from functionality for effective binary authorship attribution. - Saed Alrabaee; Paria Shirani; Lingyu Wang 001; Mourad Debbabi; Aiman Hanna (J. Comput. 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 001; Mourad Debbabi (J. Comput. Secur., 2019)

Automated Post-Failure Service Restoration in Smart Grid Through Network Reconfiguration in the Presence of Energy Storage Systems. - Parisa Akaber; Bassam Moussa; Mourad Debbabi; Chadi Assi (IEEE Syst. J., 2019)

Big Data Sanitization and Cyber Situational Awareness: A Network Telescope Perspective. - Elias Bou-Harb; Martin Husák; Mourad Debbabi; Chadi Assi (IEEE Trans. Big Data, 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 001; Mourad Debbabi (ACM Trans. Priv. Secur., 2019)

Enhancing WAMS Communication Network Against Delay Attacks. - Reem Kateb; Parisa Akaber; Mosaddek Hossain Kamal Tushar; Abdullah Albarakati; Mourad Debbabi; Chadi Assi (IEEE Trans. Smart Grid, 2019)

Cloud Security Auditing - Suryadipta Majumdar; Taous Madi; Yushun Wang; Azadeh Tabiban; Momen Oqaily; Amir Alimohammadifar; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (Springer, 2019)

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 001; Mengyuan Zhang 001; Lingyu Wang 001; Makan Pourzandi; Mourad Debbabi (CCS, 2020)

NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack. - Alaa Oqaily; Sudershan Lakshmanan Thirunavukkarasu; Yosr Jarraya; Suryadipta Majumdar; Mengyuan Zhang 001; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (CloudCom, 2020)

Catching Falling Dominoes: Cloud Management-Level Provenance Analysis with Application to OpenStack. - Azadeh Tabiban; Yosr Jarraya; Mengyuan Zhang 001; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (CNS, 2020)

Scalable and robust unsupervised android malware fingerprinting using community-based network partitioning. - ElMouatez Billah Karbab; Mourad Debbabi; Abdelouahid Derhab; Djedjiga Mouheb (Comput. Secur., 2020)

Android Malware Clustering using Community Detection on Android Packages Similarity Network. - ElMouatez Billah Karbab; Mourad Debbabi; Abdelouahid Derhab; Djedjiga Mouheb (CoRR, 2020)

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 001; Mengyuan Zhang 001; Lingyu Wang 001; Makan Pourzandi; Mourad Debbabi (CoRR, 2020)

A Scalable Platform for Enabling the Forensic Investigation of Exploited IoT Devices and Their Generated Unsolicited Activities. - Sadegh Torabi; Elias Bou-Harb; Chadi Assi; Mourad Debbabi (Digit. Investig., 2020)

Multi-depot vehicle routing problem with risk mitigation: Model and solution algorithm. - Andrei Soeanu; Sujoy Ray; Jean Berger; Abdeslem Boukhtouta; Mourad Debbabi (Expert Syst. Appl., 2020)

Stochastic Modeling, Analysis and Investigation of IoT-Generated Internet Scanning Activities. - Morteza Safaei Pour; Sadegh Torabi; Elias Bou-Harb; Chadi Assi; Mourad Debbabi (IEEE Netw. Lett., 2020)

CPA: Accurate Cross-Platform Binary Authorship Characterization Using LDA. - Saed Alrabaee; Mourad Debbabi; Lingyu Wang 001 (IEEE Trans. Inf. Forensics Secur., 2020)

An Extension to the Precision Time Protocol (PTP) to Enable the Detection of Cyber Attacks. - Bassam Moussa; Marthe Kassouf; Rachid Hadjidj; Mourad Debbabi; Chadi Assi (IEEE Trans. Ind. Informatics, 2020)

CASeS: Concurrent Contingency Analysis-Based Security Metric Deployment for the Smart Grid. - Parisa Akaber; Bassam Moussa; Mohsen Ghafouri; Ribal Atallah; Basile L. Agba; Chadi Assi; Mourad Debbabi (IEEE Trans. Smart Grid, 2020)

Detection and Mitigation of Cyber Attacks on Voltage Stability Monitoring of Smart Grids. - Mohsen Ghafouri; Minh Au; Marthe Kassouf; Mourad Debbabi; Chadi Assi; Jun Yan 007 (IEEE Trans. Smart Grid, 2020)

Exploiting the Vulnerability of Relative Data Alignment in Phasor Data Concentrators to Time Synchronization Attacks. - Bassam Moussa; Abdullah Albarakati; Marthe Kassouf; Mourad Debbabi; Chadi Assi (IEEE Trans. Smart Grid, 2020)

Binary Code Fingerprinting for Cybersecurity - Application to Malicious Code Fingerprinting - Saed Alrabaee; Mourad Debbabi; Paria Shirani; Lingyu Wang 001; Amr M. Youssef; Ashkan Rahimian; Lina Nouh; Djedjiga Mouheb; He Huang; Aiman Hanna (Springer, 2020)

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 001; Mourad Debbabi (CNS, 2021)

PetaDroid: Adaptive Android Malware Detection Using Deep Learning. - ElMouatez Billah Karbab; Mourad Debbabi (DIMVA, 2021)

Modeling of Cyber Attacks Against Converter-Driven Stability of PMSG-Based Wind Farms with Intentional Subsynchronous Resonance. - Hang Du; Jun Yan 007; Mohsen Ghafouri; Rawad Zgheib; Marthe Kassouf; Mourad Debbabi (SmartGridComm, 2021)

Resilient and Adaptive Framework for Large Scale Android Malware Fingerprinting using Deep Learning and NLP Techniques. - ElMouatez Billah Karbab; Mourad Debbabi (CoRR, 2021)

Electric Vehicle Attack Impact on Power Grid Operation. - Mohammad Ali Sayed; Ribal Atallah; Chadi Assi; Mourad Debbabi (CoRR, 2021)

A Strings-Based Similarity Analysis Approach for Characterizing IoT Malware and Inferring Their Underlying Relationships. - Sadegh Torabi; Mirabelle Dib; Elias Bou-Harb; Chadi Assi; Mourad Debbabi (IEEE Netw. Lett., 2021)

VMGuard: State-Based Proactive Verification of Virtual Network Isolation With Application to NFV. - Gagandeep Singh Chawla; Mengyuan Zhang 001; Suryadipta Majumdar; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 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 001; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2021)

Threat Intelligence Generation Using Network Telescope Data for Industrial Control Systems. - Olivier Cabana; Amr M. Youssef; Mourad Debbabi; Bernard Lebel; Marthe Kassouf; Ribal Atallah; Basile L. Agba (IEEE Trans. Inf. Forensics Secur., 2021)

A Multi-view Approach to Preserve Privacy and Utility in Network Trace Anonymization. - Meisam Mohammady; Momen Oqaily; Lingyu Wang 001; Yuan Hong 001; Habib Louafi; Makan Pourzandi; Mourad Debbabi (ACM Trans. Priv. Secur., 2021)

Android Malware Detection using Machine Learning - Data-Driven Fingerprinting and Threat Intelligence - ElMouatez Billah Karbab; Mourad Debbabi; Abdelouahid Derhab; Djedjiga Mouheb (Springer, 2021)

Hardening Substations against Supply Chain Attacks Under Operational Constraints. - Onur Duman; Lingyu Wang 001; Minh Au; Marthe Kassouf; Mourad Debbabi (ISGT, 2022)

Security Monitoring of the Microgrid Using IEC 62351-7 Network and System Management. - Mark Karanfil; Dhiaa Elhak Rebbah; Mohsen Ghafouri; Marthe Kassouf; Mourad Debbabi; Aiman Hanna (ISGT, 2022)

A Cyber-Physical Resilience-Based Survivability Metric against Topological Cyberattacks. - Abolfazl Rahiminejad; Mohsen Ghafouri; Ribal Atallah; Arash Mohammadi 001; Mourad Debbabi (ISGT, 2022)

Real-Time Co-simulation Platform for Security Analysis of Distribution Automation Systems. - Dhiaa Elhak Rebbah; Afshin Ebtia; Mohsen Ghafouri; Marthe Kassouf; Ribal Atallah; Mourad Debbabi; Arash Mohammadi 001 (ISGT, 2022)

Online Attack-aware Risk Management for PMSG-based Wind Farm Depending on System Strength Evaluation. - Hang Du; Jun Yan 007; Mohsen Ghafouri; Rawad Zgheib; Mourad Debbabi (SmartGridComm, 2022)

Chameleon: Optimized feature selection using particle swarm optimization and ensemble methods for network anomaly detection. - Aniss Chohra; Paria Shirani; ElMouatez Billah Karbab; Mourad Debbabi (Comput. Secur., 2022)

DPOAD: Differentially Private Outsourcing of Anomaly Detection through Iterative Sensitivity Learning. - Meisam Mohammady; Han Wang 021; Lingyu Wang 001; Mengyuan Zhang 001; Yosr Jarraya; Suryadipta Majumdar; Makan Pourzandi; Mourad Debbabi; Yuan Hong 001 (CoRR, 2022)

Dynamic Load Altering EV Attacks Against Power Grid Frequency Control. - Mohammad Ali Sayed; Mohsen Ghafouri; Mourad Debbabi; Chadi Assi (CoRR, 2022)

Automatic Vulnerability Detection in Embedded Devices and Firmware: Survey and Layered Taxonomies. - Abdullah Qasem; Paria Shirani; Mourad Debbabi; Lingyu Wang 001; Bernard Lebel; Basile L. Agba (ACM Comput. Surv., 2022)

Factor of Security (FoS): Quantifying the Security Effectiveness of Redundant Smart Grid Subsystems. - Onur Duman; Mengyuan Zhang 001; Lingyu Wang 001; Mourad Debbabi; Ribal F. Atallah; Bernard Lebel (IEEE Trans. Dependable Secur. Comput., 2022)

ProSAS: Proactive Security Auditing System for Clouds. - Suryadipta Majumdar; Gagandeep Singh Chawla; Amir Alimohammadifar; Taous Madi; Yosr Jarraya; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2022)

Inferring and Investigating IoT-Generated Scanning Campaigns Targeting a Large Network Telescope. - Sadegh Torabi; Elias Bou-Harb; Chadi Assi; ElMouatez Billah Karbab; Amine Boukhtouta; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2022)

Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management. - Abdullah Albarakati; Chantale Robillard; Mark Karanfil; Marthe Kassouf; Mourad Debbabi; Amr M. Youssef; Mohsen Ghafouri; Rachid Hadjidj (IEEE Trans. Ind. Informatics, 2022)

Binary Function Clone Search in the Presence of Code Obfuscation and Optimization over Multi-CPU Architectures. - Abdullah Qasem; Mourad Debbabi; Bernard Lebel; Marthe Kassouf (AsiaCCS, 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 001; Mohammad Ekramul Kabir; Yosr Jarraya; A. S. M. Asadujjaman; Makan Pourzandi; Mourad Debbabi (CODASPY, 2023)

Evaluating the Security Posture of 5G Networks by Combining State Auditing and Event Monitoring. - Md. Nazmul Hoq; Jia Wei Yao; Suryadipta Majumdar; Luis Suárez; Lingyu Wang 001; Amine Boukhtouta; Makan Pourzandi; Mourad Debbabi (ESORICS (2), 2023)

Accurify: Automated New Testflows Generation for Attack Variants in Threat Hunting. - Boubakr Nour; Makan Pourzandi; Rushaan Kamran Qureshi; Mourad Debbabi (FPS (2), 2023)

Vulnerability Analysis of Virtual Power Plant Voltage Support under Denial-of-Service Attacks. - Juanwei Chen; Jun Yan 007; Hang Du; Mourad Debbabi; Marthe Kassouf (ISGT, 2023)

A Resilience Quantitative Framework for Wide Area Damping Control Against Cyberattacks. - Abolfazl Rahiminejad; Onur Duman; Mohsen Ghafouri; Ribal Atallah; Arash Mohammadi 001; Mourad Debbabi (ISGT, 2023)

Detection of Cyber Attacks on Synchro-Phasor Network Targeting Topology Detection Application of Power Distribution Grids. - Afshin Ebtia; Dhiaa Elhak Rebbah; Abdullah Qasem; Mohsen Ghafouri; Danial Jafarigiv; Mourad Debbabi; Arash Mohammadi 001 (SmartGridComm, 2023)

An Enhanced Interface-Based Probabilistic Compositional Verification Approach. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (VECoS, 2023)

A Survey on Threat Hunting in Enterprise Networks. - Boubakr Nour; Makan Pourzandi; Mourad Debbabi (IEEE Commun. Surv. Tutorials, 2023)

Security of Wide-Area Monitoring, Protection, and Control (WAMPAC) Systems of the Smart Grid: A Survey on Challenges and Opportunities. - Saghar Vahidi; Mohsen Ghafouri; Minh Au; Marthe Kassouf; Arash Mohammadi 001; Mourad Debbabi (IEEE Commun. Surv. Tutorials, 2023)

A Real-Time Co-simulation Testbed for EV Charging and Smart Grid Security. - Khaled Sarieddine; Mohammad Ali Sayed; Danial Jafarigiv; Ribal Atallah; Mourad Debbabi; Chadi Assi (CoRR, 2023)

Protecting the Future Grid: An Electric Vehicle Robust Mitigation Scheme Against Load Altering Attacks on Power Grids. - Mohammad Ali Sayed; Mohsen Ghafouri; Ribal Atallah; Mourad Debbabi; Chadi Assi (CoRR, 2023)

An Electric Vehicle Control Strategy to Mitigate Load Altering Attacks Against Power Grids. - Mohammad Ali Sayed; Mohsen Ghafouri; Ribal Atallah; Mourad Debbabi; Chadi Assi (CoRR, 2023)

A Survey of Binary Code Fingerprinting Approaches: Taxonomy, Methodologies, and Features. - Saed Alrabaee; Mourad Debbabi; Lingyu Wang 001 (ACM Comput. Surv., 2023)

A Real-Time Cosimulation Testbed for Electric Vehicle Charging and Smart Grid Security. - Khaled Sarieddine; Mohammad Ali Sayed; Danial Jafarigiv; Ribal Atallah; Mourad Debbabi; Chadi Assi (IEEE Secur. Priv., 2023)

On the prevalence of software supply chain attacks: Empirical study and investigative framework. - Anthony Andreoli; Anis Lounis; Mourad Debbabi; Aiman Hanna (Forensic Sci. Int. Digit. Investig., 2023)

Detection of Microgrid Cyberattacks Using Network and System Management. - Mark Karanfil; Dhiaa Elhak Rebbah; Mourad Debbabi; Marthe Kassouf; Mohsen Ghafouri; El-Nasser S. Youssef; Aiman Hanna (IEEE Trans. Smart Grid, 2023)

CPID: Insider threat detection using profiling and cyber-persona identification. - Badis Racherache; Paria Shirani; Andrei Soeanu; Mourad Debbabi (Comput. Secur., 2023)

SwiftR: Cross-platform ransomware fingerprinting using hierarchical neural networks on hybrid features. - ElMouatez Billah Karbab; Mourad Debbabi; Abdelouahid Derhab (Expert Syst. Appl., 2023)

Uncovering Covert Attacks on EV Charging Infrastructure: How OCPP Backend Vulnerabilities Could Compromise Your System. - Khaled Sarieddine; Mohammad Ali Sayed; Sadegh Torabi; Ribal Attallah; Danial Jafarigiv; Chadi Assi; Mourad Debbabi (AsiaCCS, 2024)

OctopusTaint: Advanced Data Flow Analysis for Detecting Taint-Based Vulnerabilities in IoT/IIoT Firmware. - Abdullah Qasem; Mourad Debbabi; Andrei Soeanu (CCS, 2024)

Chronohunt: Determining Optimal Pace for Automated Alert Analysis in Threat Hunting Using Reinforcement Learning. - Boubakr Nour; Makan Pourzandi; Jesus Alatorre; Jan Willekens; Mourad Debbabi (DSC, 2024)

Modularizing Directed Greybox Fuzzing for Binaries over Multiple CPU Architectures. - Sofiane Benahmed; Abdullah Qasem; Anis Lounis; Mourad Debbabi (DIMVA, 2024)

SecMonS: A Security Monitoring Framework for IEC 61850 Substations Based on Configuration Files and Logs. - Onur Duman; Mengyuan Zhang 001; Lingyu Wang 001; Mourad Debbabi (DIMVA, 2024)

Seum Spread: Discerning Security Flaws in IoT Firmware via Call Sequence Semantics. - Anis Lounis; Anthony Andreoli; Mourad Debbabi; Aiman Hanna (DIMVA, 2024)

ChainPatrol: Balancing Attack Detection and Classification with Performance Overhead for Service Function Chains Using Virtual Trailers. - Momen Oqaily; Hinddeep Purohit; Yosr Jarraya; Lingyu Wang 001; Boubakr Nour; Makan Pourzandi; Mourad Debbabi (USENIX Security Symposium, 2024)

iCAT+: An Interactive Customizable Anonymization Tool Using Automated Translation Through Deep Learning. - Momen Oqaily; Mohammad Ekramul Kabir; Suryadipta Majumdar; Yosr Jarraya; Mengyuan Zhang 001; Makan Pourzandi; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2024)

Resilient Event-Triggered Observer-Based Periodic Wide-Area Control for Oscillation Damping in WAMPAC Systems Under Time Synchronization Attacks. - Saghar Vahidi; Amir Amini; Mohsen Ghafouri; Minh Au; Arash Mohammadi 001; Mourad Debbabi (IEEE Trans. Ind. Informatics, 2024)

Measuring and Improving the Security Posture of IEC 61850 Substations Against Supply Chain Attacks. - Onur Duman; Azadeh Tabiban; Lingyu Wang 001; Mourad Debbabi (IEEE Trans. Instrum. Meas., 2024)

Spatial-Temporal Data-Driven Model for Load Altering Attack Detection in Smart Power Distribution Networks. - Afshin Ebtia; Dhiaa Elhak Rebbah; Mourad Debbabi; Marthe Kassouf; Mohsen Ghafouri; Arash Mohammadi 001; Andrei Soeanu (IEEE Trans. Ind. Informatics, 2024)

AUTOMA: Automated Generation of Attack Hypotheses and Their Variants for Threat Hunting Using Knowledge Discovery. - Boubakr Nour; Makan Pourzandi; Rushaan Kamran Qureshi; Mourad Debbabi (IEEE Trans. Netw. Serv. Manag., 2024)

Cross-Level Security Verification for Network Functions Virtualization (NFV). - Alaa Oqaily; Mohammad Ekramul Kabir; Lingyu Wang 001; Yosr Jarraya; Suryadipta Majumdar; Makan Pourzandi; Mourad Debbabi; Sudershan Lakshmanan Thirunavukkarasu; Mengyuan Zhang 001 (IEEE Trans. Dependable Secur. Comput., 2025)

Internet-Wide Analysis, Characterization, and Family Attribution of IoT Malware: A Comprehensive Longitudinal Study. - Sadegh Torabi; Dorde Klisura; Joseph Khoury; Elias Bou-Harb; Chadi Assi; Mourad Debbabi (IEEE Trans. Dependable Secur. Comput., 2025)

Synchronization Plane in O-RAN: Overview, Security and Research Directions. - Assrar Maamary; Hyame Assem Alameddine; Mourad Debbabi; Chadi Assi (IEEE Commun. Mag., 2025)

Power Distribution Network Topology Detection Using Dual-Graph Structure Graph Neural Network Model. - Afshin Ebtia; Mohsen Ghafouri; Mourad Debbabi; Marthe Kassouf; Arash Mohammadi 001 (IEEE Trans. Smart Grid, 2025)

Comprehensive Advanced Persistent Threats Dataset. - Abdussamad Syed; Boubakr Nour; Makan Pourzandi; Chadi Assi; Mourad Debbabi (IEEE Netw. Lett., 2025)

Automated Attack Testflow Extraction from Cyber Threat Report using BERT for Contextual Analysis. - Faissal Ahmadou; Sepehr Ghaffarzadegan; Boubakr Nour; Makan Pourzandi; Mourad Debbabi; Chadi Assi (CoRR, 2025)