Mourad Debbabi

388 papers A* 5A 11B 32C 40Misc 8Journal 167Unranked 114
YearRankTypeTitle / Venue / Authors
2026 J jnl
An SDN-Based Framework for Cyber-Physically Coordinated Voltage Support of Virtual Power Plants Against DoS Attacks.
IEEE Trans. Smart Grid
Juanwei Chen, Anthony Kemmeugne, Jun Yan, Mohsen Ghafouri, Marthe Kassouf, Mourad Debbabi
2026 J jnl
Plug and prey: Exploiting design flaws to hijack EV charging stations.
Comput. Secur.
Mohammad Ali Sayed, Khaled Sarieddine, Rinith Reghunath, Chadi Assi, Mourad Debbabi
2025 — conf
Anticipating the Evolution of APT Variants Using Generative AI and Reinforcement Learning.
CNS
Osama Iskandarani, Boubakr Nour, Makan Pourzandi, Mourad Debbabi, Chadi Assi
2025 J jnl
Applying Graph Analysis for Unsupervised Fast Malware Fingerprinting.
CoRR
ElMouatez Billah Karbab, Mourad Debbabi
2025 J jnl
Automated Attack Testflow Extraction from Cyber Threat Report using BERT for Contextual Analysis.
CoRR
Faissal Ahmadou, Sepehr Ghaffarzadegan, Boubakr Nour, Makan Pourzandi, Mourad Debbabi, Chadi Assi
2025 B conf
BTS-Band: An Explainable AI Detection Solution for Base Transceiver Station Resource Depletion Attack in O-RAN.
CNSM
Assrar Maamary, Hyame Assem Alameddine, Chadi Assi, Mourad Debbabi
2025 J jnl
Comprehensive Advanced Persistent Threats Dataset.
IEEE Netw. Lett.
Abdussamad Syed, Boubakr Nour, Makan Pourzandi, Chadi Assi, Mourad Debbabi
2025 J jnl
Cross-Level Security Verification for Network Functions Virtualization (NFV).
IEEE Trans. Dependable Secur. Comput.
Alaa Oqaily, Mohammad Ekramul Kabir, Lingyu Wang, Yosr Jarraya, Suryadipta Majumdar, Makan Pourzandi, Mourad Debbabi, Sudershan Lakshmanan Thirunavukkarasu, Mengyuan Zhang
2025 — conf
Extracting Attack Testflows from Unstructured Cyber Threat Reports using Contextual Analysis.
NoF
Faissal Ahmadou, Sepehr Ghaffarzadegan, Boubakr Nour, Makan Pourzandi, Mourad Debbabi, Chadi Assi
2025 J jnl
Internet-Wide Analysis, Characterization, and Family Attribution of IoT Malware: A Comprehensive Longitudinal Study.
IEEE Trans. Dependable Secur. Comput.
Sadegh Torabi, Dorde Klisura, Joseph Khoury, Elias Bou-Harb, Chadi Assi, Mourad Debbabi
2025 J jnl
Measuring the Security Posture of IEC 61850 Smart Grid Substations Against Supply Chain Attacks.
IEEE Trans. Ind. Informatics
Onur Duman, Mohsen Ghafouri, Lingyu Wang, Marthe Kassouf, Ribal Atallah, Mourad Debbabi
2025 J jnl
Power Distribution Network Topology Detection Using Dual-Graph Structure Graph Neural Network Model.
IEEE Trans. Smart Grid
Afshin Ebtia, Mohsen Ghafouri, Mourad Debbabi, Marthe Kassouf, Arash Mohammadi
2025 — ed.
Security and Privacy in Communication Networks - 19th EAI International Conference, SecureComm 2023, Hong Kong, China, October 19-21, 2023, Proceedings, Part I
SecureComm (1)
Haixin Duan, Mourad Debbabi, Xavier de Carné de Carnavalet, Xiapu Luo, Xiaojiang Du, Man Ho Allen Au
2025 — ed.
Security and Privacy in Communication Networks - 19th EAI International Conference, SecureComm 2023, Hong Kong, China, October 19-21, 2023, Proceedings, Part II
SecureComm (2)
Haixin Duan, Mourad Debbabi, Xavier de Carné de Carnavalet, Xiapu Luo, Xiaojiang Du, Man Ho Allen Au
2025 J jnl
Synchronization Plane in O-RAN: Overview, Security and Research Directions.
IEEE Commun. Mag.
Assrar Maamary, Hyame Assem Alameddine, Mourad Debbabi, Chadi Assi
2025 J jnl
ThreatScout: Automated Threat Hunting Solution Using Machine Reasoning.
IEEE Secur. Priv.
Zineb Meriem Ferdjouni, Boubakr Nour, Makan Pourzandi, Mourad Debbabi
2025 J jnl
Threatify: APT Threat Variant Generation Using Graph-Based Machine Learning.
IEEE Trans. Netw. Serv. Manag.
Boubakr Nour, Makan Pourzandi, Mourad Debbabi
2024 J jnl
AUTOMA: Automated Generation of Attack Hypotheses and Their Variants for Threat Hunting Using Knowledge Discovery.
IEEE Trans. Netw. Serv. Manag.
Boubakr Nour, Makan Pourzandi, Rushaan Kamran Qureshi, Mourad Debbabi
2024 A* conf
ChainPatrol: Balancing Attack Detection and Classification with Performance Overhead for Service Function Chains Using Virtual Trailers.
USENIX Security Symposium
Momen Oqaily, Hinddeep Purohit, Yosr Jarraya, Lingyu Wang, Boubakr Nour, Makan Pourzandi, Mourad Debbabi
2024 — conf
Chronohunt: Determining Optimal Pace for Automated Alert Analysis in Threat Hunting Using Reinforcement Learning.
DSC
Boubakr Nour, Makan Pourzandi, Jesus Alatorre, Jan Willekens, Mourad Debbabi
2024 J jnl
Measuring and Improving the Security Posture of IEC 61850 Substations Against Supply Chain Attacks.
IEEE Trans. Instrum. Meas.
Onur Duman, Azadeh Tabiban, Lingyu Wang, Mourad Debbabi
2024 B conf
Modularizing Directed Greybox Fuzzing for Binaries over Multiple CPU Architectures.
DIMVA
Sofiane Benahmed, Abdullah Qasem, Anis Lounis, Mourad Debbabi
2024 A* conf
OctopusTaint: Advanced Data Flow Analysis for Detecting Taint-Based Vulnerabilities in IoT/IIoT Firmware.
CCS
Abdullah Qasem, Mourad Debbabi, Andrei Soeanu
2024 J jnl
Resilient Event-Triggered Observer-Based Periodic Wide-Area Control for Oscillation Damping in WAMPAC Systems Under Time Synchronization Attacks.
IEEE Trans. Ind. Informatics
Saghar Vahidi, Amir Amini, Mohsen Ghafouri, Minh Au, Arash Mohammadi, Mourad Debbabi
2024 B conf
SecMonS: A Security Monitoring Framework for IEC 61850 Substations Based on Configuration Files and Logs.
DIMVA
Onur Duman, Mengyuan Zhang, Lingyu Wang, Mourad Debbabi
2024 B conf
Seum Spread: Discerning Security Flaws in IoT Firmware via Call Sequence Semantics.
DIMVA
Anis Lounis, Anthony Andreoli, Mourad Debbabi, Aiman Hanna
2024 — conf
Siamese Neural Network for Robust IoT Device-Type Identification: A Few-Shot Learning Approach.
SecureComm (3)
Zineb Meriem Ferdjouni, Abdullah Qasem, Mourad Debbabi
2024 J jnl
Spatial-Temporal Data-Driven Model for Load Altering Attack Detection in Smart Power Distribution Networks.
IEEE Trans. Ind. Informatics
Afshin Ebtia, Dhiaa Elhak Rebbah, Mourad Debbabi, Marthe Kassouf, Mohsen Ghafouri, Arash Mohammadi, Andrei Soeanu
2024 A conf
Uncovering Covert Attacks on EV Charging Infrastructure: How OCPP Backend Vulnerabilities Could Compromise Your System.
AsiaCCS
Khaled Sarieddine, Mohammad Ali Sayed, Sadegh Torabi, Ribal Atallah, Danial Jafarigiv, Chadi Assi, Mourad Debbabi
2024 J jnl
iCAT+: An Interactive Customizable Anonymization Tool Using Automated Translation Through Deep Learning.
IEEE Trans. Dependable Secur. Comput.
Momen Oqaily, Mohammad Ekramul Kabir, Suryadipta Majumdar, Yosr Jarraya, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2023 J jnl
A Real-Time Co-simulation Testbed for EV Charging and Smart Grid Security.
CoRR
Khaled Sarieddine, Mohammad Ali Sayed, Danial Jafarigiv, Ribal Atallah, Mourad Debbabi, Chadi Assi
2023 J jnl
A Real-Time Cosimulation Testbed for Electric Vehicle Charging and Smart Grid Security.
IEEE Secur. Priv.
Khaled Sarieddine, Mohammad Ali Sayed, Danial Jafarigiv, Ribal Atallah, Mourad Debbabi, Chadi Assi
2023 — conf
A Resilience Quantitative Framework for Wide Area Damping Control Against Cyberattacks.
ISGT
Abolfazl Rahiminejad, Onur Duman, Mohsen Ghafouri, Ribal Atallah, Arash Mohammadi, Mourad Debbabi
2023 J jnl
A Survey of Binary Code Fingerprinting Approaches: Taxonomy, Methodologies, and Features.
ACM Comput. Surv.
Saed Alrabaee, Mourad Debbabi, Lingyu Wang
2023 J jnl
A Survey on Threat Hunting in Enterprise Networks.
IEEE Commun. Surv. Tutorials
Boubakr Nour, Makan Pourzandi, Mourad Debbabi
2023 — conf
A Tenant-based Two-stage Approach to Auditing the Integrity of Virtual Network Function Chains Hosted on Third-Party Clouds.
CODASPY
Momen Oqaily, Suryadipta Majumdar, Lingyu Wang, Mohammad Ekramul Kabir, Yosr Jarraya, A. S. M. Asadujjaman, Makan Pourzandi, Mourad Debbabi
2023 — conf
Accurify: Automated New Testflows Generation for Attack Variants in Threat Hunting.
FPS (2)
Boubakr Nour, Makan Pourzandi, Rushaan Kamran Qureshi, Mourad Debbabi
2023 J jnl
An Electric Vehicle Control Strategy to Mitigate Load Altering Attacks Against Power Grids.
CoRR
Mohammad Ali Sayed, Mohsen Ghafouri, Ribal Atallah, Mourad Debbabi, Chadi Assi
2023 C conf
An Enhanced Interface-Based Probabilistic Compositional Verification Approach.
VECoS
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2023 A conf
Binary Function Clone Search in the Presence of Code Obfuscation and Optimization over Multi-CPU Architectures.
AsiaCCS
Abdullah Qasem, Mourad Debbabi, Bernard Lebel, Marthe Kassouf
2023 J jnl
CPID: Insider threat detection using profiling and cyber-persona identification.
Comput. Secur.
Badis Racherache, Paria Shirani, Andrei Soeanu, Mourad Debbabi
2023 — conf
Detection of Cyber Attacks on Synchro-Phasor Network Targeting Topology Detection Application of Power Distribution Grids.
SmartGridComm
Afshin Ebtia, Dhiaa Elhak Rebbah, Abdullah Qasem, Mohsen Ghafouri, Danial Jafarigiv, Mourad Debbabi, Arash Mohammadi
2023 J jnl
Detection of Microgrid Cyberattacks Using Network and System Management.
IEEE Trans. Smart Grid
Mark Karanfil, Dhiaa Elhak Rebbah, Mourad Debbabi, Marthe Kassouf, Mohsen Ghafouri, El-Nasser S. Youssef, Aiman Hanna
2023 — conf
Evaluating the Security Posture of 5G Networks by Combining State Auditing and Event Monitoring.
ESORICS (2)
Md. Nazmul Hoq, Jia Wei Yao, Suryadipta Majumdar, Luis Suárez, Lingyu Wang, Amine Boukhtouta, Makan Pourzandi, Mourad Debbabi
2023 J jnl
On the prevalence of software supply chain attacks: Empirical study and investigative framework.
Forensic Sci. Int. Digit. Investig.
Anthony Andreoli, Anis Lounis, Mourad Debbabi, Aiman Hanna
2023 J jnl
Protecting the Future Grid: An Electric Vehicle Robust Mitigation Scheme Against Load Altering Attacks on Power Grids.
CoRR
Mohammad Ali Sayed, Mohsen Ghafouri, Ribal Atallah, Mourad Debbabi, Chadi Assi
2023 J jnl
Security of Wide-Area Monitoring, Protection, and Control (WAMPAC) Systems of the Smart Grid: A Survey on Challenges and Opportunities.
IEEE Commun. Surv. Tutorials
Saghar Vahidi, Mohsen Ghafouri, Minh Au, Marthe Kassouf, Arash Mohammadi, Mourad Debbabi
2023 J jnl
SwiftR: Cross-platform ransomware fingerprinting using hierarchical neural networks on hybrid features.
Expert Syst. Appl.
ElMouatez Billah Karbab, Mourad Debbabi, Abdelouahid Derhab
2023 — conf
Vulnerability Analysis of Virtual Power Plant Voltage Support under Denial-of-Service Attacks.
ISGT
Juanwei Chen, Jun Yan, Hang Du, Mourad Debbabi, Marthe Kassouf
2022 — conf
A Cyber-Physical Resilience-Based Survivability Metric against Topological Cyberattacks.
ISGT
Abolfazl Rahiminejad, Mohsen Ghafouri, Ribal Atallah, Arash Mohammadi, Mourad Debbabi
2022 J jnl
Automatic Vulnerability Detection in Embedded Devices and Firmware: Survey and Layered Taxonomies.
ACM Comput. Surv.
Abdullah Qasem, Paria Shirani, Mourad Debbabi, Lingyu Wang, Bernard Lebel, Basile L. Agba
2022 J jnl
Chameleon: Optimized feature selection using particle swarm optimization and ensemble methods for network anomaly detection.
Comput. Secur.
Aniss Chohra, Paria Shirani, ElMouatez Billah Karbab, Mourad Debbabi
2022 J jnl
DPOAD: Differentially Private Outsourcing of Anomaly Detection through Iterative Sensitivity Learning.
CoRR
Meisam Mohammady, Han Wang, Lingyu Wang, Mengyuan Zhang, Yosr Jarraya, Suryadipta Majumdar, Makan Pourzandi, Mourad Debbabi, Yuan Hong
2022 J jnl
Dynamic Load Altering EV Attacks Against Power Grid Frequency Control.
CoRR
Mohammad Ali Sayed, Mohsen Ghafouri, Mourad Debbabi, Chadi Assi
2022 J jnl
Factor of Security (FoS): Quantifying the Security Effectiveness of Redundant Smart Grid Subsystems.
IEEE Trans. Dependable Secur. Comput.
Onur Duman, Mengyuan Zhang, Lingyu Wang, Mourad Debbabi, Ribal F. Atallah, Bernard Lebel
2022 — conf
Hardening Substations against Supply Chain Attacks Under Operational Constraints.
ISGT
Onur Duman, Lingyu Wang, Minh Au, Marthe Kassouf, Mourad Debbabi
2022 J jnl
Inferring and Investigating IoT-Generated Scanning Campaigns Targeting a Large Network Telescope.
IEEE Trans. Dependable Secur. Comput.
Sadegh Torabi, Elias Bou-Harb, Chadi Assi, ElMouatez Billah Karbab, Amine Boukhtouta, Mourad Debbabi
2022 — conf
Online Attack-aware Risk Management for PMSG-based Wind Farm Depending on System Strength Evaluation.
SmartGridComm
Hang Du, Jun Yan, Mohsen Ghafouri, Rawad Zgheib, Mourad Debbabi
2022 J jnl
ProSAS: Proactive Security Auditing System for Clouds.
IEEE Trans. Dependable Secur. Comput.
Suryadipta Majumdar, Gagandeep Singh Chawla, Amir Alimohammadifar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2022 — conf
Real-Time Co-simulation Platform for Security Analysis of Distribution Automation Systems.
ISGT
Dhiaa Elhak Rebbah, Afshin Ebtia, Mohsen Ghafouri, Marthe Kassouf, Ribal Atallah, Mourad Debbabi, Arash Mohammadi
2022 J jnl
Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management.
IEEE Trans. Ind. Informatics
Abdullah Albarakati, Chantale Robillard, Mark Karanfil, Marthe Kassouf, Mourad Debbabi, Amr M. Youssef, Mohsen Ghafouri, Rachid Hadjidj
2022 — conf
Security Monitoring of the Microgrid Using IEC 62351-7 Network and System Management.
ISGT
Mark Karanfil, Dhiaa Elhak Rebbah, Mohsen Ghafouri, Marthe Kassouf, Mourad Debbabi, Aiman Hanna
2021 J jnl
A Multi-view Approach to Preserve Privacy and Utility in Network Trace Anonymization.
ACM Trans. Priv. Secur.
Meisam Mohammady, Momen Oqaily, Lingyu Wang, Yuan Hong, Habib Louafi, Makan Pourzandi, Mourad Debbabi
2021 J jnl
A Strings-Based Similarity Analysis Approach for Characterizing IoT Malware and Inferring Their Underlying Relationships.
IEEE Netw. Lett.
Sadegh Torabi, Mirabelle Dib, Elias Bou-Harb, Chadi Assi, Mourad Debbabi
2021 — book
Android Malware Detection using Machine Learning - Data-Driven Fingerprinting and Threat Intelligence
ElMouatez Billah Karbab, Mourad Debbabi, Abdelouahid Derhab, Djedjiga Mouheb
2021 — conf
Artificial Packet-Pair Dispersion (APPD): A Blackbox Approach to Verifying the Integrity of NFV Service Chains.
CNS
A. S. M. Asadujjaman, Momen Oqaily, Yosr Jarraya, Suryadipta Majumdar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2021 J jnl
Electric Vehicle Attack Impact on Power Grid Operation.
CoRR
Mohammad Ali Sayed, Ribal Atallah, Chadi Assi, Mourad Debbabi
2021 — conf
Modeling of Cyber Attacks Against Converter-Driven Stability of PMSG-Based Wind Farms with Intentional Subsynchronous Resonance.
SmartGridComm
Hang Du, Jun Yan, Mohsen Ghafouri, Rawad Zgheib, Marthe Kassouf, Mourad Debbabi
2021 B conf
PetaDroid: Adaptive Android Malware Detection Using Deep Learning.
DIMVA
ElMouatez Billah Karbab, Mourad Debbabi
2021 J jnl
Resilient and Adaptive Framework for Large Scale Android Malware Fingerprinting using Deep Learning and NLP Techniques.
CoRR
ElMouatez Billah Karbab, Mourad Debbabi
2021 J jnl
SegGuard: Segmentation-Based Anonymization of Network Data in Clouds for Privacy-Preserving Security Auditing.
IEEE Trans. Dependable Secur. Comput.
Momen Oqaily, Yosr Jarraya, Meisam Mohammady, Suryadipta Majumdar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2021 J jnl
Threat Intelligence Generation Using Network Telescope Data for Industrial Control Systems.
IEEE Trans. Inf. Forensics Secur.
Olivier Cabana, Amr M. Youssef, Mourad Debbabi, Bernard Lebel, Marthe Kassouf, Ribal Atallah, Basile L. Agba
2021 J jnl
VMGuard: State-Based Proactive Verification of Virtual Network Isolation With Application to NFV.
IEEE Trans. Dependable Secur. Comput.
Gagandeep Singh Chawla, Mengyuan Zhang, Suryadipta Majumdar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2020 J jnl
A Scalable Platform for Enabling the Forensic Investigation of Exploited IoT Devices and Their Generated Unsolicited Activities.
Digit. Investig.
Sadegh Torabi, Elias Bou-Harb, Chadi Assi, Mourad Debbabi
2020 J jnl
An Extension to the Precision Time Protocol (PTP) to Enable the Detection of Cyber Attacks.
IEEE Trans. Ind. Informatics
Bassam Moussa, Marthe Kassouf, Rachid Hadjidj, Mourad Debbabi, Chadi Assi
2020 J jnl
Android Malware Clustering using Community Detection on Android Packages Similarity Network.
CoRR
ElMouatez Billah Karbab, Mourad Debbabi, Abdelouahid Derhab, Djedjiga Mouheb
2020 — book
Binary Code Fingerprinting for Cybersecurity - Application to Malicious Code Fingerprinting
Saed Alrabaee, Mourad Debbabi, Paria Shirani, Lingyu Wang, Amr M. Youssef, Ashkan Rahimian, Lina Nouh, Djedjiga Mouheb, He Huang, Aiman Hanna
2020 J jnl
CASeS: Concurrent Contingency Analysis-Based Security Metric Deployment for the Smart Grid.
IEEE Trans. Smart Grid
Parisa Akaber, Bassam Moussa, Mohsen Ghafouri, Ribal Atallah, Basile L. Agba, Chadi Assi, Mourad Debbabi
2020 J jnl
CPA: Accurate Cross-Platform Binary Authorship Characterization Using LDA.
IEEE Trans. Inf. Forensics Secur.
Saed Alrabaee, Mourad Debbabi, Lingyu Wang
2020 — conf
Catching Falling Dominoes: Cloud Management-Level Provenance Analysis with Application to OpenStack.
CNS
Azadeh Tabiban, Yosr Jarraya, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2020 J jnl
Detection and Mitigation of Cyber Attacks on Voltage Stability Monitoring of Smart Grids.
IEEE Trans. Smart Grid
Mohsen Ghafouri, Minh Au, Marthe Kassouf, Mourad Debbabi, Chadi Assi, Jun Yan
2020 J jnl
Exploiting the Vulnerability of Relative Data Alignment in Phasor Data Concentrators to Time Synchronization Attacks.
IEEE Trans. Smart Grid
Bassam Moussa, Abdullah Albarakati, Marthe Kassouf, Mourad Debbabi, Chadi Assi
2020 J jnl
Multi-depot vehicle routing problem with risk mitigation: Model and solution algorithm.
Expert Syst. Appl.
Andrei Soeanu, Sujoy Ray, Jean Berger, Abdeslem Boukhtouta, Mourad Debbabi
2020 C conf
NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack.
CloudCom
Alaa Oqaily, Sudershan Lakshmanan Thirunavukkarasu, Yosr Jarraya, Suryadipta Majumdar, Mengyuan Zhang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2020 J jnl
R
CoRR
Meisam Mohammady, Shangyu Xie, Yuan Hong, Mengyuan Zhang, Lingyu Wang, Makan Pourzandi, Mourad Debbabi
2020 A* conf
R2DP: A Universal and Automated Approach to Optimizing the Randomization Mechanisms of Differential Privacy for Utility Metrics with No Known Optimal Distributions.
CCS
Meisam Mohammady, Shangyu Xie, Yuan Hong, Mengyuan Zhang, Lingyu Wang, Makan Pourzandi, Mourad Debbabi
2020 J jnl
Scalable and robust unsupervised Android malware fingerprinting using community-based network partitioning.
Comput. Secur.
ElMouatez Billah Karbab, Mourad Debbabi, Abdelouahid Derhab, Djedjiga Mouheb
2020 J jnl
Scalable and robust unsupervised android malware fingerprinting using community-based network partitioning.
Comput. Secur.
ElMouatez Billah Karbab, Mourad Debbabi, Abdelouahid Derhab, Djedjiga Mouheb
2020 J jnl
Stochastic Modeling, Analysis and Investigation of IoT-Generated Internet Scanning Activities.
IEEE Netw. Lett.
Morteza Safaei Pour, Sadegh Torabi, Elias Bou-Harb, Chadi Assi, Mourad Debbabi
2019 J jnl
Automated Post-Failure Service Restoration in Smart Grid Through Network Reconfiguration in the Presence of Energy Storage Systems.
IEEE Syst. J.
Parisa Akaber, Bassam Moussa, Mourad Debbabi, Chadi Assi
2019 J jnl
Big Data Sanitization and Cyber Situational Awareness: A Network Telescope Perspective.
IEEE Trans. Big Data
Elias Bou-Harb, Martin Husák, Mourad Debbabi, Chadi Assi
2019 — conf
BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning.
ESORICS (2)
Saed Alrabaee, ElMouatez Billah Karbab, Lingyu Wang, Mourad Debbabi
2019 — book
Cloud Security Auditing
Suryadipta Majumdar, Taous Madi, Yushun Wang, Azadeh Tabiban, Momen Oqaily, Amir Alimohammadifar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2019 J jnl
Decoupling coding habits from functionality for effective binary authorship attribution.
J. Comput. Secur.
Saed Alrabaee, Paria Shirani, Lingyu Wang, Mourad Debbabi, Aiman Hanna
2019 B conf
Detecting, Fingerprinting and Tracking Reconnaissance Campaigns Targeting Industrial Control Systems.
DIMVA
Olivier Cabana, Amr M. Youssef, Mourad Debbabi, Bernard Lebel, Marthe Kassouf, Basile L. Agba
2019 J jnl
Enhancing WAMS Communication Network Against Delay Attacks.
IEEE Trans. Smart Grid
Reem Kateb, Parisa Akaber, Mosaddek Hossain Kamal Tushar, Abdullah Albarakati, Mourad Debbabi, Chadi Assi
2019 J jnl
Evolutionary learning algorithm for reliable facility location under disruption.
Expert Syst. Appl.
Badr Afify, Sujoy Ray, Andrei Soeanu, Anjali Awasthi, Mourad Debbabi, Mohamad Allouche
2019 — ed.
Foundations and Practice of Security - 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers
FPS
Nur Zincir-Heywood, Guillaume Bonfante, Mourad Debbabi, Joaquín García-Alfaro
2019 J jnl
ISOTOP: Auditing Virtual Networks Isolation Across Cloud Layers in OpenStack.
ACM Trans. Priv. Secur.
Taous Madi, Yosr Jarraya, Amir Alimohammadifar, Suryadipta Majumdar, Yushun Wang, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2019 J jnl
Learning probabilistic dependencies among events for proactive security auditing in clouds.
J. Comput. Secur.
Suryadipta Majumdar, Azadeh Tabiban, Yosr Jarraya, Momen Oqaily, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2019 J jnl
MalDy: Portable, data-driven malware detection using natural language processing and machine learning techniques on behavioral analysis reports.
Digit. Investig.
ElMouatez Billah Karbab, Mourad Debbabi
2019 C conf
Modeling NFV Deployment to Identify the Cross-Level Inconsistency Vulnerabilities.
CloudCom
Sudershan Lakshmanan Thirunavukkarasu, Mengyuan Zhang, Alaa Oqaily, Gagandeep Singh Chawla, Lingyu Wang, Makan Pourzandi, Mourad Debbabi
2019 — conf
Modeling Supply Chain Attacks in IEC 61850 Substations.
SmartGridComm
Onur Duman, Mohsen Ghafouri, Marthe Kassouf, Ribal Atallah, Lingyu Wang, Mourad Debbabi
2019 — conf
Multi-Level Proactive Security Auditing for Clouds.
DSC
Suryadipta Majumdar, Azadeh Tabiban, Meisam Mohammady, Alaa Oqaily, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2019 J jnl
On the feasibility of binary authorship characterization.
Digit. Investig.
Saed Alrabaee, Mourad Debbabi, Lingyu Wang
2019 — conf
Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement.
ESORICS (2)
Suryadipta Majumdar, Azadeh Tabiban, Meisam Mohammady, Alaa Oqaily, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2019 J jnl
Securing the Precision Time Protocol (PTP) Against Fake Timestamps.
IEEE Commun. Lett.
Bassam Moussa, Chantale Robillard, Alf Zugenmaier, Marthe Kassouf, Mourad Debbabi, Chadi Assi
2019 — conf
Security Monitoring of IEC 61850 Substations Using IEC 62351-7 Network and System Management
SmartGridComm
Abdullah Albarakati, Chantale Robillard, Mark Karanfil, Marthe Kassouf, Rachid Hadjidj, Mourad Debbabi, Amr M. Youssef
2019 J jnl
Wordnet-Based Criminal Networks Mining for Cybercrime Investigation.
IEEE Access
Farkhund Iqbal, Benjamin C. M. Fung, Mourad Debbabi, Rabia Batool, Andrew Marrington
2019 — conf
iCAT: An Interactive Customizable Anonymization Tool.
ESORICS (1)
Momen Oqaily, Yosr Jarraya, Mengyuan Zhang, Lingyu Wang, Makan Pourzandi, Mourad Debbabi
2018 J jnl
A Detection and Mitigation Model for PTP Delay Attack in an IEC 61850 Substation.
IEEE Trans. Smart Grid
Bassam Moussa, Mourad Debbabi, Chadi Assi
2018 J jnl
Automatic Investigation Framework for Android Malware Cyber-Infrastructures.
CoRR
ElMouatez Billah Karbab, Mourad Debbabi
2018 B conf
BINARM: Scalable and Efficient Detection of Vulnerabilities in Firmware Images of Intelligent Electronic Devices.
DIMVA
Paria Shirani, Leo Collard, Basile L. Agba, Bernard Lebel, Mourad Debbabi, Lingyu Wang, Aiman Hanna
2018 J jnl
CSC-Detector: A System to Infer Large-Scale Probing Campaigns.
IEEE Trans. Dependable Secur. Comput.
Elias Bou-Harb, Chadi Assi, Mourad Debbabi
2018 — conf
Cloud Security Auditing: Major Approaches and Existing Challenges.
FPS
Suryadipta Majumdar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2018 J jnl
Critical Links Identification for Selective Outages in Interdependent Power-Communication Networks.
IEEE Trans. Ind. Informatics
Bassam Moussa, Parisa Akaber, Mourad Debbabi, Chadi Assi
2018 — conf
Daedalus: Network Anomaly Detection on IDS Stream Logs.
FPS
Aniss Chohra, Mourad Debbabi, Paria Shirani
2018 J jnl
Data-driven approach for automatic telephony threat analysis and campaign detection.
Digit. Investig.
Houssem Eddine Bordjiba, ElMouatez Billah Karbab, Mourad Debbabi
2018 J jnl
Detecting Internet Abuse by Analyzing Passive DNS Traffic: A Survey of Implemented Systems.
IEEE Commun. Surv. Tutorials
Sadegh Torabi, Amine Boukhtouta, Chadi Assi, Mourad Debbabi
2018 J jnl
Efficient sensor network management for asset localization.
Comput. Oper. Res.
Andrei Soeanu, Sujoy Ray, Jean Berger, Mourad Debbabi
2018 A conf
Inferring, Characterizing, and Investigating Internet-Scale Malicious IoT Device Activities: A Network Telescope Perspective.
DSN
Sadegh Torabi, Elias Bou-Harb, Chadi Assi, Mario Galluscio, Amine Boukhtouta, Mourad Debbabi
2018 J jnl
MalDozer: Automatic framework for android malware detection using deep learning.
Digit. Investig.
ElMouatez Billah Karbab, Mourad Debbabi, Abdelouahid Derhab, Djedjiga Mouheb
2018 — conf
On Leveraging Coding Habits for Effective Binary Authorship Attribution.
ESORICS (1)
Saed Alrabaee, Paria Shirani, Lingyu Wang, Mourad Debbabi, Aiman Hanna
2018 — conf
OpenStack-Based Evaluation Framework for Smart Grid Cyber Security.
SmartGridComm
Abdullah Albarakati, Bassam Moussa, Mourad Debbabi, Amr M. Youssef, Basile L. Agba, Marthe Kassouf
2018 J jnl
Optimal Tree Construction Model for Cyber-Attacks to Wide Area Measurement Systems.
IEEE Trans. Smart Grid
Reem Kateb, Mosaddek Hossain Kamal Tushar, Chadi Assi, Mourad Debbabi
2018 — conf
PERMON: An OpenStack Middleware for Runtime Security Policy Enforcement in Clouds.
CNS
Azadeh Tabiban, Suryadipta Majumdar, Lingyu Wang, Mourad Debbabi
2018 J jnl
Portable, Data-Driven Malware Detection using Language Processing and Machine Learning Techniques on Behavioral Analysis Reports.
CoRR
ElMouatez Billah Karbab, Mourad Debbabi
2018 A* conf
Preserving Both Privacy and Utility in Network Trace Anonymization.
CCS
Meisam Mohammady, Lingyu Wang, Yuan Hong, Habib Louafi, Makan Pourzandi, Mourad Debbabi
2018 J jnl
Preserving Both Privacy and Utility in Network Trace Anonymization.
CoRR
Meisam Mohammady, Lingyu Wang, Yuan Hong, Habib Louafi, Makan Pourzandi, Mourad Debbabi
2018 C conf
QuantiC: Distance Metrics for Evaluating Multi-Tenancy Threats in Public Cloud.
CloudCom
Taous Madi, Mengyuan Zhang, Yosr Jarraya, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2018 — conf
Stealthy Probing-Based Verification (SPV): An Active Approach to Defending Software Defined Networks Against Topology Poisoning Attacks.
ESORICS (2)
Amir Alimohammadifar, Suryadipta Majumdar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2018 B conf
ToGather: Automatic Investigation of Android Malware Cyber-Infrastructures.
ARES
ElMouatez Billah Karbab, Mourad Debbabi
2018 J jnl
Toward Multimodal Interaction in Scalable Visual Digital Evidence Visualization Using Computer Vision Techniques and ISS.
CoRR
Serguei A. Mokhov, Miao Song, Jashanjot Singh, Joey Paquet, Mourad Debbabi, Sudhir P. Mudur
2018 J jnl
User-Level Runtime Security Auditing for the Cloud.
IEEE Trans. Inf. Forensics Secur.
Suryadipta Majumdar, Taous Madi, Yushun Wang, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2017 J jnl
Android Malware Detection using Deep Learning on API Method Sequences.
CoRR
ElMouatez Billah Karbab, Mourad Debbabi, Abdelouahid Derhab, Djedjiga Mouheb
2017 J jnl
Big Data Behavioral Analytics Meet Graph Theory: On Effective Botnet Takedowns.
IEEE Netw.
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2017 A conf
BinSequence: Fast, Accurate and Scalable Binary Code Reuse Detection.
AsiaCCS
He Huang, Amr M. Youssef, Mourad Debbabi
2017 B conf
BinShape: Scalable and Robust Binary Library Function Identification Using Function Shape.
DIMVA
Paria Shirani, Lingyu Wang, Mourad Debbabi
2017 Misc conf
BinSign: Fingerprinting Binary Functions to Support Automated Analysis of Code Executables.
SEC
Lina Nouh, Ashkan Rahimian, Djedjiga Mouheb, Mourad Debbabi, Aiman Hanna
2017 J jnl
Corrigendum to 'OBA2: An Onion approach to Binary code Authorship Attribution' [Digit Investig 11 (2014) S94-S103].
Digit. Investig.
Saed Alrabaee, Noman Saleem, Stere Preda, Lingyu Wang, Mourad Debbabi
2017 — conf
Delay aware measurements gathering in WAMS communication network.
GlobalSIP
Reem Kateb, Parisa Akaber, Mosaddek Hossain Kamal Tushar, Mourad Debbabi, Chadi Assi
2017 J jnl
DySign: Dynamic Fingerprinting for the Automatic Detection of Android Malware.
CoRR
ElMouatez Billah Karbab, Mourad Debbabi, Saed Alrabaee, Djedjiga Mouheb
2017 — conf
LeaPS: Learning-Based Proactive Security Auditing for Clouds.
ESORICS (2)
Suryadipta Majumdar, Yosr Jarraya, Momen Oqaily, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2017 — conf
Measuring the security posture of IEC 61850 substations with redundancy against zero day attacks.
SmartGridComm
Onur Duman, Mengyuan Zhang, Lingyu Wang, Mourad Debbabi
2017 J jnl
On the Feasibility of Malware Authorship Attribution.
CoRR
Saed Alrabaee, Paria Shirani, Mourad Debbabi, Lingyu Wang
2017 J jnl
Privacy-Preserving Querying on Privately Encrypted Data in the Cloud.
Trans. Large Scale Data Knowl. Centered Syst.
Feras Aljumah, Makan Pourzandi, Mourad Debbabi
2017 B conf
SONAR: Automatic Detection of Cyber Security Events over the Twitter Stream.
ARES
Quentin Le Sceller, ElMouatez Billah Karbab, Mourad Debbabi, Farkhund Iqbal
2017 A* conf
TenantGuard: Scalable Runtime Verification of Cloud-Wide VM-Level Network Isolation.
NDSS
Yushun Wang, Taous Madi, Suryadipta Majumdar, Yosr Jarraya, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2016 J jnl
A novel cyber security capability: Inferring Internet-scale infections by correlating malware and probing activities.
Comput. Networks
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2016 J jnl
Aspect-oriented modeling framework for security hardening.
Innov. Syst. Softw. Eng.
Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
2016 — conf
Cascading link failure analysis in interdependent networks for maximal outages in smart grid.
SmartGridComm
Parisa Akaber, Bassam Moussa, Mourad Debbabi, Chadi Assi
2016 A conf
Cypider: building community-based cyber-defense infrastructure for android malware detection.
ACSAC
ElMouatez Billah Karbab, Mourad Debbabi, Abdelouahid Derhab, Djedjiga Mouheb
2016 J jnl
Darknet as a Source of Cyber Intelligence: Survey, Taxonomy, and Characterization.
IEEE Commun. Surv. Tutorials
Claude Fachkha, Mourad Debbabi
2016 — conf
DySign: dynamic fingerprinting for the automatic detection of android malware.
MALWARE
ElMouatez Billah Karbab, Mourad Debbabi, Saed Alrabaee, Djedjiga Mouheb
2016 J jnl
Energy-Efficient Monitor Deployment in Collaborative Distributed Setting.
IEEE Trans. Ind. Informatics
Sujoy Ray, Mourad Debbabi, Mohamad Khaled Allouche, Nicolas Léchevin, Micheline Bélanger
2016 J jnl
Fingerprinting Android packaging: Generating DNAs for malware detection.
Digit. Investig.
ElMouatez Billah Karbab, Mourad Debbabi, Djedjiga Mouheb
2016 J jnl
Hierarchy aware distributed plan execution monitoring.
Expert Syst. Appl.
Andrei Soeanu, Mourad Debbabi, Mohamad Allouche, Micheline Bélanger, Nicholas Léchevin
2016 J jnl
Network malware classification comparison using DPI and flow packet headers.
J. Comput. Virol. Hacking Tech.
Amine Boukhtouta, Serguei A. Mokhov, Nour-Eddine Lakhdari, Mourad Debbabi, Joey Paquet
2016 — conf
On the Feasibility of Malware Authorship Attribution.
FPS
Saed Alrabaee, Paria Shirani, Mourad Debbabi, Lingyu Wang
2016 — conf
Proactive Verification of Security Compliance for Clouds Through Pre-computation: Application to OpenStack.
ESORICS (1)
Suryadipta Majumdar, Yosr Jarraya, Taous Madi, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2016 J jnl
Security Assessment of Time Synchronization Mechanisms for the Smart Grid.
IEEE Commun. Surv. Tutorials
Bassam Moussa, Mourad Debbabi, Chadi Assi
2015 B conf
A Time Series Approach for Inferring Orchestrated Probing Campaigns by Analyzing Darknet Traffic.
ARES
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2015 J jnl
A Visualizable Evidence-Driven Approach for Authorship Attribution.
ACM Trans. Inf. Syst. Secur.
Steven H. H. Ding, Benjamin C. M. Fung, Mourad Debbabi
2015 — conf
A detection and mitigation model for PTP delay attack in a smart grid substation.
SmartGridComm
Bassam Moussa, Mourad Debbabi, Chadi Assi
2015 — book
Aspect-Oriented Security Hardening of UML Design Models
Djedjiga Mouheb, Mourad Debbabi, Makan Pourzandi, Lingyu Wang, Mariam Nouh, Raha Ziarati, Dima Alhadidi, Chamseddine Talhi, Vitor Lima
2015 J jnl
BinComp: A stratified approach to compiler provenance Attribution.
Digit. Investig.
Ashkan Rahimian, Paria Shirani, Saed Alrabaee, Lingyu Wang, Mourad Debbabi
2015 J jnl
Graph-theoretic characterization of cyber-threat infrastructures.
Digit. Investig.
Amine Boukhtouta, Djedjiga Mouheb, Mourad Debbabi, Omar Alfandi, Farkhund Iqbal, May El Barachi
2015 J jnl
Inferring distributed reflection denial of service attacks from darknet.
Comput. Commun.
Claude Fachkha, Elias Bou-Harb, Mourad Debbabi
2015 — conf
MARFCAT: Fast code analysis for defects and vulnerabilities.
SWAN@SANER
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2015 J jnl
On the inference and prediction of DDoS campaigns.
Wirel. Commun. Mob. Comput.
Claude Fachkha, Elias Bou-Harb, Mourad Debbabi
2015 J jnl
SIGMA: A Semantic Integrated Graph Matching Approach for identifying reused functions in binary code.
Digit. Investig.
Saed Alrabaee, Paria Shirani, Lingyu Wang, Mourad Debbabi
2015 J jnl
Scalable code clone search for malware analysis.
Digit. Investig.
Mohammad Reza Farhadi, Benjamin C. M. Fung, Yin Bun Fung, Philippe Charland, Stere Preda, Mourad Debbabi
2015 C conf
Security Compliance Auditing of Identity and Access Management in the Cloud: Application to OpenStack.
CloudCom
Suryadipta Majumdar, Taous Madi, Yushun Wang, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
2015 J jnl
Spam campaign detection, analysis, and investigation.
Digit. Investig.
Son Dinh, Taher Azeb, Francis Fortin, Djedjiga Mouheb, Mourad Debbabi
2015 J jnl
Specification, verification, and quantification of security in model-based systems.
Computing
Samir Ouchani, Mourad Debbabi
2015 B conf
Towards migrating security policies of virtual machines in Software Defined Networks.
NetSoft
Sahba Sadri, Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi
2015 J jnl
Transportation risk analysis using probabilistic model checking.
Expert Syst. Appl.
Andrei Soeanu, Mourad Debbabi, Dima Alhadidi, Makram Makkawi, Mohamad Khaled Allouche, Micheline Bélanger, Nicolas Léchevin
2015 J jnl
Verification of firewall reconfiguration for virtual machines migrations in the cloud.
Comput. Networks
Yosr Jarraya, Arash Eghtesadi, Sahba Sadri, Mourad Debbabi, Makan Pourzandi
2014 J jnl
A Survey and a Layered Taxonomy of Software-Defined Networking.
IEEE Commun. Surv. Tutorials
Yosr Jarraya, Taous Madi, Mourad Debbabi
2014 J jnl
A formal verification framework for SysML activity diagrams.
Expert Syst. Appl.
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2014 J jnl
A property-based abstraction framework for SysML activity diagrams.
Knowl. Based Syst.
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2014 — conf
Automating MAC Spoofer Evidence Gathering and Encoding for Investigations.
FPS
Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi
2014 — conf
Behavioral analytics for inferring large-scale orchestrated probing events.
INFOCOM Workshops
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2014 — conf
BinClone: Detecting Code Clones in Malware.
SERE
Mohammad Reza Farhadi, Benjamin C. M. Fung, Philippe Charland, Mourad Debbabi
2014 — conf
Characterization of Covert Channels in DNS.
NTMS
Hamad Binsalleeh, A. Mert Kara, Amr M. Youssef, Mourad Debbabi
2014 J jnl
Cyber Scanning: A Comprehensive Survey.
IEEE Commun. Surv. Tutorials
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2014 — conf
Detection of malicious payload distribution channels in DNS.
ICC
A. Mert Kara, Hamad Binsalleeh, Mohammad Mannan, Amr M. Youssef, Mourad Debbabi
2014 — conf
Fingerprinting Internet DNS Amplification DDoS Activities.
NTMS
Claude Fachkha, Elias Bou-Harb, Mourad Debbabi
2014 — ed.
Foundations and Practice of Security - 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers
FPS
Jean-Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquín García-Alfaro, Nur Zincir-Heywood
2014 — conf
Inferring Malware Family through Application Protocol Sequences Signature.
NTMS
Amine Boukhtouta, Nour-Eddine Lakhdari, Mourad Debbabi
2014 — conf
Inferring internet-scale infections by correlating malware and probing activities.
ICC
Elias Bou-Harb, Claude Fachkha, Mourad Debbabi, Chadi Assi
2014 J jnl
Multidimensional investigation of source port 0 probing.
Digit. Investig.
Elias Bou-Harb, Nour-Eddine Lakhdari, Hamad Binsalleeh, Mourad Debbabi
2014 J jnl
OBA2: An Onion approach to Binary code Authorship Attribution.
Digit. Investig.
Saed Alrabaee, Noman Saleem, Stere Preda, Lingyu Wang, Mourad Debbabi
2014 J jnl
On fingerprinting probing activities.
Comput. Secur.
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2014 J jnl
On the Reverse Engineering of the Citadel Botnet.
CoRR
Ashkan Rahimian, Raha Ziarati, Stere Preda, Mourad Debbabi
2014 J jnl
PPTP: Privacy-Preserving Traffic Padding in Web-Based Applications.
IEEE Trans. Dependable Secur. Comput.
Wen Ming Liu, Lingyu Wang, Pengsu Cheng, Kui Ren, Shunzhi Zhu, Mourad Debbabi
2014 B conf
Preservation of Security Configurations in the Cloud.
IC2E
Arash Eghtesadi, Yosr Jarraya, Mourad Debbabi, Makan Pourzandi
2014 J jnl
Quantitative and qualitative analysis of SysML activity diagrams.
Int. J. Softw. Tools Technol. Transf.
Yosr Jarraya, Mourad Debbabi
2014 J jnl
Secure Two-Party Differentially Private Data Release for Vertically Partitioned Data.
IEEE Trans. Dependable Secur. Comput.
Noman Mohammed, Dima Alhadidi, Benjamin C. M. Fung, Mourad Debbabi
2014 B conf
Secure and Privacy-Preserving Querying of Personal Health Records in the Cloud.
DBSec
Samira Barouti, Feras Aljumah, Dima Alhadidi, Mourad Debbabi
2014 — conf
The Use of NLP Techniques in Static Code Analysis to Detect Weaknesses and Vulnerabilities.
Canadian AI
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2014 J jnl
The multi-depot split-delivery vehicle routing problem: Model and solution algorithm.
Knowl. Based Syst.
Sujoy Ray, Andrei Soeanu, Jean Berger, Mourad Debbabi
2014 — conf
Toward Automated MAC Spoofer Investigations.
C3S2E
Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi
2013 — conf
A Security Risk Assessment Framework for SysML Activity Diagrams.
SERE
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2013 B conf
A Statistical Approach for Fingerprinting Probing Activities.
ARES
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2013 C conf
A formal verification framework for Bluespec System Verilog.
FDL
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2013 C conf
A probabilistic verification framework of SysML activity diagrams.
SoMeT
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2013 J jnl
A secure, efficient, and cost-effective distributed architecture for spam mitigation on LTE 4G mobile networks.
Secur. Commun. Networks
Elias Bou-Harb, Makan Pourzandi, Mourad Debbabi, Chadi Assi
2013 J jnl
A systematic approach for detecting and clustering distributed cyber scanning.
Comput. Networks
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2013 J jnl
A unified data mining solution for authorship analysis in anonymous textual communications.
Inf. Sci.
Farkhund Iqbal, Hamad Binsalleeh, Benjamin C. M. Fung, Mourad Debbabi
2013 Misc conf
Aspect-Oriented Semantic Framework for Executable Models.
TASE
Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi
2013 — conf
Background Knowledge-Resistant Traffic Padding for Preserving User Privacy in Web-Based Applications.
CloudCom (1)
Wen Ming Liu, Lingyu Wang, Kui Ren, Mourad Debbabi
2013 J jnl
Common weaving approach in mainstream languages for software security hardening.
J. Syst. Softw.
Dima Alhadidi, Azzam Mourad, Hakim Idrissi Kaitouni, Mourad Debbabi
2013 J jnl
Communication security for smart grid distribution networks.
IEEE Commun. Mag.
Elias Bou-Harb, Claude Fachkha, Makan Pourzandi, Mourad Debbabi, Chadi Assi
2013 C conf
Emergency Mobile Access to Personal Health Records Stored on an Untrusted Cloud.
HIS
Feras Aljumah, Raymond Hei Man Leung, Makan Pourzandi, Mourad Debbabi
2013 J jnl
Fingerprinting Internet DNS Amplification DDoS Activities.
CoRR
Claude Fachkha, Elias Bou-Harb, Mourad Debbabi
2013 — conf
Gossiping Based Distributed Plan Monitoring.
ANT/SEIT
Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Mohamad Allouche, Jean Berger
2013 B conf
On detecting and clustering distributed cyber scanning.
IWCMC
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2013 — conf
On the Reverse Engineering of the Citadel Botnet.
FPS
Ashkan Rahimian, Raha Ziarati, Stere Preda, Mourad Debbabi
2013 — conf
Symmetrically-Private Database Search in Cloud Computing.
CloudCom (1)
Samira Barouti, Dima Alhadidi, Mourad Debbabi
2013 — conf
Towards Fingerprinting Malicious Traffic.
ANT/SEIT
Amine Boukhtouta, Nour-Eddine Lakhdari, Serguei A. Mokhov, Mourad Debbabi
2013 — conf
Towards a Distributed Plan Execution Monitoring Framework.
ANT/SEIT
Yosr Jarraya, Sujoy Ray, Andrei Soeanu, Mourad Debbabi, Mohamad Allouche, Jean Berger
2013 B conf
Towards a Forecasting Model for Distributed Denial of Service Activities.
NCA
Claude Fachkha, Elias Bou-Harb, Mourad Debbabi
2012 B conf
A Learning Based Evolutionary Algorithm For Distributed Multi-Depot VRP.
KES
Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta
2012 C conf
A Probabilistic Verification Framework for SysML Activity Diagrams.
SoMeT
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2012 — conf
A first look on the effects and mitigation of VoIP SPIT flooding in 4G mobile networks.
ICC
Elias Bou-Harb, Mourad Debbabi, Chadi Assi
2012 — conf
Cloud calculus: Security verification in elastic cloud computing platform.
CTS
Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi
2012 C conf
Continuation/Frame-based Semantics for Aspect Matching and Weaving.
SoMeT
Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi
2012 B conf
Efficient Probabilistic Abstraction for SysML Activity Diagrams.
SEFM
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2012 C conf
Formal Analysis of the TLS Handshake Protocol.
SECRYPT
Hanane Houmani, Mourad Debbabi
2012 Misc conf
Formal Specification and Probabilistic Verification of SysML Activity Diagrams.
TASE
Yosr Jarraya, Mourad Debbabi
2012 C conf
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud.
SSS
Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi
2012 C conf
Investigating the dark cyberspace: Profiling, threat-based analysis and correlation.
CRiSIS
Claude Fachkha, Elias Bou-Harb, Amine Boukhtouta, Son Dinh, Farkhund Iqbal, Mourad Debbabi
2012 J jnl
MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV
CoRR
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi, Yankui Sun
2012 Misc conf
Mechanism design for decentralized vehicle routing problem.
SAC
Mohamed Mostafa Saleh, Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta
2012 — conf
Mining Criminal Networks from Chat Log.
Web Intelligence
Farkhund Iqbal, Benjamin C. M. Fung, Mourad Debbabi
2012 — conf
Model checking based service delivery planning.
CCECE
Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta, Ahmed Ghanmi
2012 — conf
On SPIM detection in LTE networks.
CCECE
Swagata Das, Makan Pourzandi, Mourad Debbabi
2012 J jnl
Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols.
J. Softw.
Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi
2012 — conf
RESource: A Framework for Online Matching of Assembly with Open Source Code.
FPS
Ashkan Rahimian, Philippe Charland, Stere Preda, Mourad Debbabi
2012 A conf
Secure Distributed Framework for Achieving ε-Differential Privacy.
Privacy Enhancing Technologies
Dima Alhadidi, Noman Mohammed, Benjamin C. M. Fung, Mourad Debbabi
2012 A conf
k-Indistinguishable Traffic Padding in Web Applications.
Privacy Enhancing Technologies
Wen Ming Liu, Lingyu Wang, Kui Ren, Pengsu Cheng, Mourad Debbabi
2011 — conf
A decentralized heuristic for multi-depot split-delivery vehicle routing problem.
ICAL
Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta, Ahmed Ghanmi
2011 J jnl
Anonymity meets game theory: secure data integration with malicious participants.
VLDB J.
Noman Mohammed, Benjamin C. M. Fung, Mourad Debbabi
2011 J jnl
Mechanism Design-Based Secure Leader Election Model for Intrusion Detection in MANET.
IEEE Trans. Dependable Secur. Comput.
Noman Mohammed, Hadi Otrok, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya
2011 C conf
On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY.
PST
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2011 — conf
Privacy-preserving traffic padding in web-based applications.
WPES
Wen Ming Liu, Lingyu Wang, Pengsu Cheng, Mourad Debbabi
2011 — conf
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid.
ICDF2C
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2010 J jnl
A Secure Mechanism Design-Based and Game Theoretical Model for MANETs.
Mob. Networks Appl.
Abderrezak Rachedi, Abderrahim Benslimane, Hadi Otrok, Noman Mohammed, Mourad Debbabi
2010 J jnl
A game-theoretic framework for specification and verification of cryptographic protocols.
Formal Aspects Comput.
Mohamed Mostafa Saleh, Mourad Debbabi
2010 — conf
Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework.
FACS
Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
2010 — conf
Aspect weaver: a model transformation approach for UML models.
CASCON
Mariam Nouh, Raha Ziarati, Djedjiga Mouheb, Dima Alhadidi, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
2010 — conf
Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML.
SERA (selected papers)
Djedjiga Mouheb, Chamseddine Talhi, Mariam Nouh, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
2010 — conf
Defaming Botnet Toolkits: A Bottom-Up Approach to Mitigating the Threat.
SECURWARE
Thomas C. Ormerod, Lingyu Wang, Mourad Debbabi, Amr M. Youssef, Hamad Binsalleeh, Amine Boukhtouta, Prosenjit Sinha
2010 C conf
Insights from the analysis of the Mariposa botnet.
CRiSIS
Prosenjit Sinha, Amine Boukhtouta, Victor Heber Belarde, Mourad Debbabi
2010 J jnl
Mining writeprints from anonymous e-mails for forensic investigation.
Digit. Investig.
Farkhund Iqbal, Hamad Binsalleeh, Benjamin C. M. Fung, Mourad Debbabi
2010 C conf
On the analysis of the Zeus botnet crimeware toolkit.
PST
Hamad Binsalleeh, Thomas C. Ormerod, Amine Boukhtouta, Prosenjit Sinha, Amr M. Youssef, Mourad Debbabi, Lingyu Wang
2010 J jnl
PCM: a privacy-preserving detection mechanism in mobile
Secur. Commun. Networks
Bo Zhu, Kui Ren, Lingyu Wang, Mourad Debbabi
2010 J jnl
Security Evaluation and Hardening of Free and Open Source Software (FOSS).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
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, Xiaochun Yang, Zhenrong Yang
2010 J jnl
The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY
CoRR
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2010 A conf
Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence.
RAID
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2010 — conf
Towards a self-forensics property in the ASSL toolset.
C3S2E
Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi
2010 — book
Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models.
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
2010 — conf
Verification of the Correctness in Composed UML Behavioural Diagrams.
SERA (selected papers)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi, Makan Pourzandi
2010 Misc conf
e-mail authorship verification for forensic investigation.
SAC
Farkhund Iqbal, Liaquat A. Khan, Benjamin C. M. Fung, Mourad Debbabi
2009 B conf
A Practical Framework for the Dataflow Pointcut in AspectJ.
ARES
Amine Boukhtouta, Dima Alhadidi, Mourad Debbabi
2009 — conf
A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities.
OTM Conferences (2)
Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad Debbabi
2009 C conf
An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation.
SoMeT
Djedjiga Mouheb, Chamseddine Talhi, Azzam Mourad, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
2009 J jnl
Capturing Returned Computable Values in AspectJ for Security Hardening.
Inf. Secur. J. A Glob. Perspect.
Amine Boukhtouta, Dima Alhadidi, Mourad Debbabi
2009 J jnl
Extraction of forensically sensitive information from windows physical memory.
Digit. Investig.
Seyed Mahmood Hejazi, Chamseddine Talhi, Mourad Debbabi
2009 — conf
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages.
SSV
Vitor Lima, Chamseddine Talhi, Djedjiga Mouheb, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
2009 J jnl
Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.
J. Autom. Reason.
Syrine Tlili, Mourad Debbabi
2009 J jnl
New aspect-oriented constructs for security hardening concerns.
Comput. Secur.
Azzam Mourad, Andrei Soeanu, Marc-André Laverdière, Mourad Debbabi
2009 J jnl
Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité.
Tech. Sci. Informatiques
Azzam Mourad, Marc-André Laverdière, Andrei Soeanu, Mourad Debbabi
2009 — conf
On the Meaning of SysML Activity Diagrams.
ECBS
Yosr Jarraya, Mourad Debbabi, Jamal Bentahar
2009 J jnl
QoS-aware middleware for web services composition: a qualitative approach.
Enterp. Inf. Syst.
Hassan Issa, Chadi Assi, Mourad Debbabi, Sujoy Ray
2009 — conf
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract).
HSC
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2009 J jnl
Reasoning About an ACME Printer Case Investigation with Forensic Lucid
CoRR
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2009 J jnl
Synergistic verification and validation of systems and software engineering models.
Int. J. Gen. Syst.
Yosr Jarraya, Andrei Soeanu, Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne
2009 — conf
The dataflow pointcut: a formal and practical framework.
AOSD
Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya
2009 J jnl
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
CoRR
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2009 — conf
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid.
HSC
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2009 J jnl
Towards an integrated e-mail forensic analysis framework.
Digit. Investig.
Rachid Hadjidj, Mourad Debbabi, Hakim Lounis, Farkhund Iqbal, Adam Szporer, Djamel Benredjem
2009 J jnl
Usability of Security Specification Approaches for UML Design: A Survey.
J. Object Technol.
Chamseddine Talhi, Djedjiga Mouheb, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
2009 — conf
Verification of CERT Secure Coding Rules: Case Studies.
OTM Conferences (2)
Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi
2009 A conf
Walking in the crowd: anonymizing trajectory data for pattern analysis.
CIKM
Noman Mohammed, Benjamin C. M. Fung, Mourad Debbabi
2009 — conf
Weaving security aspects into UML 2.0 design models.
AOM@AOSD
Djedjiga Mouheb, Chamseddine Talhi, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
2009 J jnl
lambda_SAOP: A Security AOP Calculus.
Comput. J.
Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya
2008 J jnl
A High-level Aspect-oriented-based Framework for Software Security Hardening.
Inf. Secur. J. A Glob. Perspect.
Azzam Mourad, Marc-André Laverdière, Mourad Debbabi
2008 — conf
A Hybrid Approach for Safe Memory Management in C.
AMAST
Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi
2008 B conf
A Mechanism Design-Based Multi-Leader Election Scheme for Intrusion Detection in MANET.
WCNC
Noman Mohammed, Hadi Otrok, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya
2008 B conf
A Mechanism Design-Based Secure Architecture for Mobile Ad Hoc Networks.
WiMob
Abderrezak Rachedi, Abderrahim Benslimane, Hadi Otrok, Noman Mohammed, Mourad Debbabi
2008 B conf
A Moderate to Robust Game Theoretical Model for Intrusion Detection in MANETs.
WiMob
Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya
2008 C conf
A framework for privacy-preserving cluster analysis.
ISI
Benjamin C. M. Fung, Ke Wang, Lingyu Wang, Mourad Debbabi
2008 J jnl
A game-theoretic intrusion detection model for mobile ad hoc networks.
Comput. Commun.
Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya
2008 J jnl
A novel approach of mining write-prints for authorship attribution in e-mail forensics.
Digit. Investig.
Farkhund Iqbal, Rachid Hadjidj, Benjamin C. M. Fung, Mourad Debbabi
2008 C conf
A novel flow-sensitive type and effect analysis for securing C code.
AICCSA
Syrine Tlili, Mourad Debbabi
2008 J jnl
An aspect-oriented approach for the systematic security hardening of code.
Comput. Secur.
Azzam Mourad, Marc-André Laverdière, Mourad Debbabi
2008 J jnl
Automated Windows Memory File Extraction for Cyber Forensics Investigation.
J. Digit. Forensic Pract.
Seyed Mahmood Hejazi, Mourad Debbabi, Chamseddine Talhi
2008 C conf
Cross-Language Weaving Approach Targeting Software Security Hardening.
PST
Azzam Mourad, Dima Alhadidi, Mourad Debbabi
2008 J jnl
Execution monitoring enforcement under memory-limitation constraints.
Inf. Comput.
Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi
2008 — conf
File Type Analysis Using Signal Processing Techniques and Machine Learning vs. File Unix Utility for Forensic Analysis.
IMF
Serguei A. Mokhov, Mourad Debbabi
2008 — conf
Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid.
IMF
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
2008 J jnl
Game theoretic models for detecting network intrusions.
Comput. Commun.
Hadi Otrok, Mona Mehrandish, Chadi Assi, Mourad Debbabi, Prabir Bhattacharya
2008 — ch.
Mobile Security: Game Theory.
Encyclopedia of Wireless and Mobile Communications
Chadi Assi, Prabir Bhattacharya, Mourad Debbabi, Mona Mehrandish, Hadi Otrok
2008 C conf
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support.
PST
Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi
2008 J jnl
New AspectJ Pointcuts for Integer Overflow and Underflow Detection.
Inf. Secur. J. A Glob. Perspect.
Dima Alhadidi, Mourad Debbabi, Prabir Bhattacharya
2008 — conf
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).
QSIC
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi
2008 B conf
Towards Automation of Testing High-Level Security Properties.
DBSec
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad Debbabi
2008 C conf
Towards Language-Independent Approach for Security Concerns Weaving.
SECRYPT
Azzam Mourad, Dima Alhadidi, Mourad Debbabi
2008 B conf
Type and Effect Annotations for Safe Memory Access in C.
ARES
Syrine Tlili, Mourad Debbabi
2008 — ch.
Wireless Applications: Middleware Security.
Encyclopedia of Wireless and Mobile Communications
Mourad Debbabi, Marc-André Laverdière, Azzam Mourad, Syrine Tlili
2007 — conf
A Cooperative Approach for Analyzing Intrusions in Mobile Ad hoc Networks.
ICDCS Workshops
Hadi Otrok, Mourad Debbabi, Chadi Assi, Prabir Bhattacharya
2007 — conf
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.
QSIC
Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi
2007 J jnl
A Dynamic Operational Semantics for JVML.
J. Object Technol.
Nadia Belblidia, Mourad Debbabi
2007 J jnl
A Formal Type System for Java.
J. Object Technol.
Mourad Debbabi, M. Fourati
2007 C conf
A High-Level Aspect-Oriented based Language for Software Security Hardening.
SECRYPT
Azzam Mourad, Marc-André Laverdière, Mourad Debbabi
2007 — conf
A Security Hardening Language Based on Aspect-Orientation.
ICETE (Selected Papers)
Azzam Mourad, Marc-André Laverdière, Mourad Debbabi
2007 B conf
An AOP Extended Lambda-Calculus.
SEFM
Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya
2007 B conf
An Efficient and Truthful Leader IDS Election Mechanism for MANET.
WiMob
Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya
2007 J jnl
Analyzing multiple logs for forensic evidence.
Digit. Investig.
Ali Reza Arasteh, Mourad Debbabi, Assaad Sakha, Mohamed Mostafa Saleh
2007 — conf
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.
ECBS
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne
2007 — conf
Control Flow Based Pointcuts for Security Hardening Concerns.
IFIPTM
Marc-André Laverdière, Azzam Mourad, Andrei Soeanu, Mourad Debbabi
2007 J jnl
Forensic analysis of logs: Modeling and verification.
Knowl. Based Syst.
Mohamed Mostafa Saleh, Ali Reza Arasteh, Assaad Sakha, Mourad Debbabi
2007 J jnl
Forensic memory analysis: From stack and code to execution history.
Digit. Investig.
Ali Reza Arasteh, Mourad Debbabi
2007 C conf
Modeling Security Protocols as Games.
IAS
Mohamed Mostafa Saleh, Mourad Debbabi
2007 — conf
New Primitives to AOP Weaving Capabilities for Security Hardening Concerns.
WOSIS
Azzam Mourad, Marc-André Laverdière, Mourad Debbabi
2007 C conf
Team Edit Automata for Testing Security Property.
IAS
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
2007 — conf
Testing Intrusion Detection Systems in MANET: A Comprehensive Study.
CNSR
Hadi Otrok, Joey Paquet, Mourad Debbabi, Prabir Bhattacharya
2007 — conf
Towards an Aspect Oriented Approach for the Security Hardening of Code.
AINA Workshops (1)
Azzam Mourad, Marc-André Laverdière, Mourad Debbabi
2007 B conf
Verifying Security Properties of Cryptoprotocols: A Novel Approach.
SEFM
Mohamed Mostafa Saleh, Mourad Debbabi
2007 J jnl
What middleware for network centric operations?
Knowl. Based Syst.
Ali Benssam, Jean Berger, Abdeslem Boukhtouta, Mourad Debbabi, Sujoy Ray, Abderrazak Sahi
2006 C conf
A Formal Approach for the Forensic Analysis of Logs.
SoMeT
Ali Reza Arasteh, Mourad Debbabi, Assaad Sakha
2006 B conf
A Game Theoretic Approach to Detect Network Intrusions: The Cooperative Intruders Scenario.
GLOBECOM
Mona Mehrandish, Hadi Otrok, Mourad Debbabi, Chadi Assi, Prabir Bhattacharya
2006 — conf
A Game Theoretic Model to Handle Network Intrusions over Multiple Packets.
ICC
Mona Mehrandish, Chadi M. Assi, Mourad Debbabi
2006 — conf
A Survey of Secure B2C Commerce for Multicast Services.
CCECE
Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi
2006 — conf
A Unified Approach for Verification and Validation of Systems and Software Engineering Models.
ECBS
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne
2006 J jnl
A selective dynamic compiler for embedded Java virtual machines targeting ARM processors.
Sci. Comput. Program.
Mourad Debbabi, Abdelouahed Gherbi, Azzam Mourad, Hamdi Yahyaoui
2006 — conf
AOP Extension for Security Testing of Programs.
CCECE
Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhenrong Yang
2006 C conf
Common Criteria Approach to J2ME CLDC Security Requirements.
SoMeT
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua
2006 C conf
Execution monitoring enforcement for limited-memory systems.
PST
Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi
2006 B conf
Formalizing AspectJ Weaving for Static Pointcuts.
SEFM
Nadia Belblidia, Mourad Debbabi
2006 — conf
On the verification and validation of uml structural and behavioral diagrams.
ACST
Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne, Andrei Soeanu
2006 C conf
QoS-Aware Middleware for Web Services Composition - A Qualitative Approach.
ISCC
Hassan Issa, Chadi Assi, Mourad Debbabi
2006 — conf
Secure E-Commerce Transactions for Multicast Services.
CEC/EEE
Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi
2006 — conf
Secure E-commerce Protection Profile.
Security and Management
Anil Kumar Venkataiahgari, Mourad Debbabi, J. William Atwood
2006 — conf
Security Design Patterns: Survey and Evaluation.
CCECE
Marc-André Laverdière, Azzam Mourad, Aiman Hanna, Mourad Debbabi
2006 J jnl
Security Evaluation of J2ME CLDC Embedded Java Platform.
J. Object Technol.
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua
2006 C conf
Security crosscutting concerns and AspectJ.
PST
Dima Alhadidi, Nadia Belblidia, Mourad Debbabi
2006 C conf
Security hardening of open source software.
PST
Azzam Mourad, Marc-André Laverdière, Mourad Debbabi
2006 — conf
Towards a Formal Semantics for AspectJ Weaving.
JMLC
Nadia Belblidia, Mourad Debbabi
2006 — conf
Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models.
IASTED Conf. on Software Engineering
Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Payam Shahi, Andrei Soeanu
2005 J jnl
Accelerating embedded Java for mobile devices.
IEEE Commun. Mag.
Mourad Debbabi, Azzam Mourad, Chamseddine Talhi, Hamdi Yahyaoui
2005 Misc conf
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors.
SAC
Mourad Debbabi, Azzam Mourad, Nadia Tawbi
2005 J jnl
E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines.
J. Object Technol.
Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua, Nadia Tawbi
2005 C conf
Game Semantics Model for Security Protocols.
ICFEM
Mourad Debbabi, Mohamed Mostafa Saleh
2005 A conf
Java for Mobile Devices: A Security Study.
ACSAC
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua
2005 — conf
Security Analysis of Mobile Java.
DEXA Workshops
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua
2005 C conf
Security Analysis of Wireless Java.
PST
Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua
2004 — conf
A dynamic compiler for embedded Java virtual machines.
PPPJ
Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua
2004 — conf
The war of presence and instant messaging: right protocols and APIs.
CCNC
Mourad Debbabi, Mahfuzur Rahman
2004 — conf
a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines.
PPPJ
Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua
2003 J jnl
A new logic for electronic commerce protocols.
Theor. Comput. Sci.
Kamel Adi, Mourad Debbabi, Mohamed Mejri
2003 Misc conf
Method Call Acceleration in Embedded Java Virtual Machines.
International Conference on Computational Science
Mourad Debbabi, M. M. Erhioui, Lamia Ketari, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua
2003 J jnl
Security by typing.
Int. J. Softw. Tools Technol. Transf.
Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell
2003 B conf
Towards the Correctness of Security Protocols.
MFPS
Mourad Debbabi, Mohamed Mejri
2002 — conf
Secure Self-certified Code for Java.
FASec
Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi
2001 — conf
Abstract interpretation for proving secrecy properties in security protocols.
LACPV@CAV
Kamel Adi, Mourad Debbabi
2000 — conf
A New Logic for Electronic Commerce Protocols.
AMAST
Kamel Adi, Mourad Debbabi, Mohamed Mejri
2000 J jnl
On object initialization in the Java bytecode.
Comput. Commun.
Stephane Doyon, Mourad Debbabi
2000 C conf
On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier.
WETICE
Frédéric Painchaud, Mourad Debbabi
2000 C conf
Secure Self-Certified COTS.
WETICE
Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi
2000 — conf
Sur la sémantique statique de Java.
LMO
Mourad Debbabi, M. Fourati
2000 — conf
Verifying Object Initialization in the Java Bytecode Language.
SAC (2)
Stephane Doyon, Mourad Debbabi
1999 C conf
Final Summary Report on Enterprise Security.
WETICE
Yahya Y. Al-Salqan, Nahid Shahmehri, Wu Wen, Mourad Debbabi
1999 C conf
Static Analysis of Binary Code to Isolate Malicious Behaviors.
WETICE
J. Bergeron, Mourad Debbabi, M. M. Erhioui, Béchir Ktari
1998 — conf
A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes.
AMAST
Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari
1998 A conf
An Environment for the Specification and Analysis of Cryptoprotocols.
ACSAC
Mourad Debbabi, Y. Legaré, Mohamed Mejri
1997 J jnl
A Model-Based Concurrent Specification Language Over CML: Semantic Foundations.
Parallel Process. Lett.
Mourad Debbabi
1997 C conf
Formal Automatic Verification of Authentication Crytographic Protocols.
ICFEM
Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi
1997 C conf
From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.
WETICE
Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi
1997 J jnl
On the Inference od Structured Recursive Effects with Subtyping.
J. Funct. Log. Program.
Mourad Debbabi, Zahia Aïdoud, Ali Faour
1996 — conf
A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs.
Implementation of Functional Languages
Mourad Debbabi, Ali Faour, Nadia Tawbi
1995 Misc conf
A Concurrent, Specification Language over CML.
PDPTA
Mourad Debbabi
1994 — conf
A Semantic Theory for Concurrent ML.
TACS
Dominique Bolignano, Mourad Debbabi
1993 — conf
A Coherent Type System for a Concurrent, Functional and Imperative Programming Language.
AMAST
Dominique Bolignano, Mourad Debbabi
1993 C conf
A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming.
ICCI
Dominique Bolignano, Mourad Debbabi
1992 B conf
Higher Order Communication Processes with Value-Passing, Assignment and Return of Results.
ISAAC
Dominique Bolignano, Mourad Debbabi