Mourad Debbabi

Elias Bou-Harb, Claude Fachkha, Makan Pourzandi, Mourad Debbabi, Chadi Assi: Communication security for smart grid distribution networks. IEEE Communications Magazine 51(1): 42-49 (2013)

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

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

Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi: Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. JSW 7(7): 1488-1495 (2012)

Swagata Das, Makan Pourzandi, Mourad Debbabi: On SPIM detection in LTE networks. CCECE 2012: 1-4

Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta, Ahmed Ghanmi: Model checking based service delivery planning. CCECE 2012: 1-4

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

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

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

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

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

Wen Ming Liu, Lingyu Wang, Kui Ren, Pengsu Cheng, Mourad Debbabi: k-Indistinguishable Traffic Padding in Web Applications. Privacy Enhancing Technologies 2012: 79-99

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

Mohamed Saleh, Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta: Mechanism design for decentralized vehicle routing problem. SAC 2012: 749-754

Hanane Houmani, Mourad Debbabi: Formal Analysis of the TLS Handshake Protocol. SECRYPT 2012: 192-205

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi: Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM 2012: 263-277

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi: A Probabilistic Verification Framework for SysML Activity Diagrams. SoMeT 2012: 108-123

Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi: Continuation/Frame-based Semantics for Aspect Matching and Weaving. SoMeT 2012: 146-161

Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi: Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. SSS 2012: 111-125

Yosr Jarraya, Mourad Debbabi: Formal Specification and Probabilistic Verification of SysML Activity Diagrams. TASE 2012: 17-24

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

Noman Mohammed, Hadi Otrok, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya: Mechanism Design-Based Secure Leader Election Model for Intrusion Detection in MANET. IEEE Trans. Dependable Sec. Comput. 8(1): 89-103 (2011)

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

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

Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. ICDF2C 2011: 282-296

Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY. PST 2011: 120-123

Wen Ming Liu, Lingyu Wang, Pengsu Cheng, Mourad Debbabi: Privacy-preserving traffic padding in web-based applications. WPES 2011: 131-136

Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh: Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models. Springer 2010, isbn 978-3-642-15227-6, pp. I-XXVI, 1-248

Farkhund Iqbal, Hamad Binsalleeh, Benjamin C. M. Fung, Mourad Debbabi: Mining writeprints from anonymous e-mails for forensic investigation. Digital Investigation 7(1-2): 56-64 (2010)

Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang: Security Evaluation and Hardening of Free and Open Source Software (FOSS). ECEASST 33 (2010)

Mohamed Saleh, Mourad Debbabi: A game-theoretic framework for specification and verification of cryptographic protocols. Formal Asp. Comput. 22(5): 585-609 (2010)

Abderrezak Rachedi, Abderrahim Benslimane, Hadi Otrok, Noman Mohammed, Mourad Debbabi: A Secure Mechanism Design-Based and Game Theoretical Model for MANETs. MONET 15(2): 191-204 (2010)

Bo Zhu, Kui Ren, Lingyu Wang, Mourad Debbabi: PCM: a privacy-preserving detection mechanism in mobile ad hoc networks. Security and Communication Networks 3(2-3): 167-184 (2010)

Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi: Towards a self-forensics property in the ASSL toolset. C3S2E 2010: 108-113

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

Prosenjit Sinha, Amine Boukhtouta, Victor Heber Belarde, Mourad Debbabi: Insights from the analysis of the Mariposa botnet. CRiSIS 2010: 1-9

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

Hamad Binsalleeh, Thomas Ormerod, Amine Boukhtouta, Prosenjit Sinha, Amr M. Youssef, Mourad Debbabi, Lingyu Wang: On the analysis of the Zeus botnet crimeware toolkit. PST 2010: 31-38

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

Farkhund Iqbal, Liaquat A. Khan, Benjamin C. M. Fung, Mourad Debbabi: e-mail authorship verification for forensic investigation. SAC 2010: 1591-1598

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

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

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

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

Azzam Mourad, Andrei Soeanu, Marc-André Laverdière, Mourad Debbabi: New aspect-oriented constructs for security hardening concerns. Computers & Security 28(6): 341-358 (2009)

Rachid Hadjidj, Mourad Debbabi, Hakim Lounis, Farkhund Iqbal, Adam Szporer, Djamel Benredjem: Towards an integrated e-mail forensic analysis framework. Digital Investigation 5(3-4): 124-137 (2009)

Hassan Issa, Chadi Assi, Mourad Debbabi, Sujoy Ray: QoS-aware middleware for web services composition: a qualitative approach. Enterprise IS 3(4): 449-470 (2009)

Vitor Lima, Chamseddine Talhi, Djedjiga Mouheb, Mourad Debbabi, Lingyu Wang, Makan Pourzandi: Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. Electr. Notes Theor. Comput. Sci. 254: 143-160 (2009)

Amine Boukhtouta, Dima Alhadidi, Mourad Debbabi: Capturing Returned Computable Values in AspectJ for Security Hardening. Information Security Journal: A Global Perspective 18(2): 87-98 (2009)

Syrine Tlili, Mourad Debbabi: Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. J. Autom. Reasoning 42(2-4): 265-300 (2009)

Chamseddine Talhi, Djedjiga Mouheb, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi: Usability of Security Specification Approaches for UML Design: A Survey. Journal of Object Technology 8(6): 102-122 (2009)

Azzam Mourad, Marc-André Laverdière, Andrei Soeanu, Mourad Debbabi: Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité. Technique et Science Informatiques 28(5): 611-644 (2009)

Amine Boukhtouta, Dima Alhadidi, Mourad Debbabi: A Practical Framework for the Dataflow Pointcut in AspectJ. ARES 2009: 835-840

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

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

Yosr Jarraya, Mourad Debbabi, Jamal Bentahar: On the Meaning of SysML Activity Diagrams. ECBS 2009: 95-105

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

Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. HSC 2009: 326-333

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

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

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

Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. CoRR abs/0906.0049 (2009)

Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Reasoning About an ACME Printer Case Investigation with Forensic Lucid. CoRR abs/0906.5181 (2009)

Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya: A game-theoretic intrusion detection model for mobile ad hoc networks. Computer Communications 31(4): 708-721 (2008)

Hadi Otrok, Mona Mehrandish, Chadi Assi, Mourad Debbabi, Prabir Bhattacharya: Game theoretic models for detecting network intrusions. Computer Communications 31(10): 1934-1944 (2008)

Azzam Mourad, Marc-André Laverdière, Mourad Debbabi: An aspect-oriented approach for the systematic security hardening of code. Computers & Security 27(3-4): 101-114 (2008)

Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi: Execution monitoring enforcement under memory-limitation constraints. Inf. Comput. 206(2-4): 158-184 (2008)

Azzam Mourad, Marc-André Laverdière, Mourad Debbabi: A High-level Aspect-oriented-based Framework for Software Security Hardening. Information Security Journal: A Global Perspective 17(2): 56-74 (2008)

Dima Alhadidi, Mourad Debbabi, Prabir Bhattacharya: New AspectJ Pointcuts for Integer Overflow and Underflow Detection. Information Security Journal: A Global Perspective 17(5&6): 278-287 (2008)

Seyed Mahmood Hejazi, Mourad Debbabi, Chamseddine Talhi: Automated Windows Memory File Extraction for Cyber Forensics Investigation. J. Digital Forensic Practice 2(3): 117-131 (2008)

Syrine Tlili, Mourad Debbabi: Type and Effect Annotations for Safe Memory Access in C. ARES 2008: 302-309

Syrine Tlili, Mourad Debbabi: A novel flow-sensitive type and effect analysis for securing C code. AICCSA 2008: 661-668

Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi: A Hybrid Approach for Safe Memory Management in C. AMAST 2008: 377-391

Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad Debbabi: Towards Automation of Testing High-Level Security Properties. DBSec 2008: 268-282

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

Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. IMF 2008: 197-216

Benjamin C. M. Fung, Ke Wang, Lingyu Wang, Mourad Debbabi: A framework for privacy-preserving cluster analysis. ISI 2008: 46-51

Azzam Mourad, Dima Alhadidi, Mourad Debbabi: Cross-Language Weaving Approach Targeting Software Security Hardening. PST 2008: 87-98

Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi: Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. PST 2008: 133-142

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

Azzam Mourad, Dima Alhadidi, Mourad Debbabi: Towards Language-Independent Approach for Security Concerns Weaving. SECRYPT 2008: 460-465

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

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

Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya: A Moderate to Robust Game Theoretical Model for Intrusion Detection in MANETs. WiMob 2008: 608-612

Nadia Belblidia, Mourad Debbabi: A Dynamic Operational Semantics for JVML. Journal of Object Technology 6(3): 71-100 (2007)

Mourad Debbabi, M. Fourati: A Formal Type System for Java. Journal of Object Technology 6(8): 117-184 (2007)

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

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

Zhenrong Yang, Aiman Hanna, Mourad Debbabi: Team Edit Automata for Testing Security Property. IAS 2007: 235-240

Mohamed Saleh, Mourad Debbabi: Modeling Security Protocols as Games. IAS 2007: 253-260

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

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

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

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

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

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

Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya: An AOP Extended Lambda-Calculus. SEFM 2007: 183-194

Mohamed Saleh, Mourad Debbabi: Verifying Security Properties of Cryptoprotocols: A Novel Approach. SEFM 2007: 349-360

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

Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya: An Efficient and Truthful Leader IDS Election Mechanism for MANET. WiMob 2007: 78

Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Security Evaluation of J2ME CLDC Embedded Java Platform. Journal of Object Technology 5(2): 125-154 (2006)

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

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

Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi: A Survey of Secure B2C Commerce for Multicast Services. CCECE 2006: 288-293

Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhenrong Yang: AOP Extension for Security Testing of Programs. CCECE 2006: 647-650

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

Anil Kumar Venkataiahgari, Mourad Debbabi, J. William Atwood: Secure E-commerce Protection Profile. Security and Management 2006: 279-285

Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne: A Unified Approach for Verification and Validation of Systems and Software Engineering Models. ECBS 2006: 409-418

Mona Mehrandish, Hadi Otrok, Mourad Debbabi, Chadi Assi, Prabir Bhattacharya: A Game Theoretic Approach to Detect Network Intrusions: The Cooperative Intruders Scenario. GLOBECOM 2006

Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Payam Shahi, Andrei Soeanu: Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models. IASTED Conf. on Software Engineering 2006: 282-287

Mona Mehrandish, Chadi M. Assi, Mourad Debbabi: A Game Theoretic Model to Handle Network Intrusions over Multiple Packets. ICC 2006: 2189-2194

Hassan Issa, Chadi Assi, Mourad Debbabi: QoS-Aware Middleware for Web Services Composition - A Qualitative Approach. ISCC 2006: 359-364

Nadia Belblidia, Mourad Debbabi: Towards a Formal Semantics for AspectJ Weaving. JMLC 2006: 155-171

Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi: Execution monitoring enforcement for limited-memory systems. PST 2006: 38

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

Dima Alhadidi, Nadia Belblidia, Mourad Debbabi: Security crosscutting concerns and AspectJ. PST 2006: 45

Nadia Belblidia, Mourad Debbabi: Formalizing AspectJ Weaving for Static Pointcuts. SEFM 2006: 50-59

Ali Reza Arasteh, Mourad Debbabi, Assaad Sakha: A Formal Approach for the Forensic Analysis of Logs. SoMeT 2006: 159-176

Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Common Criteria Approach to J2ME CLDC Security Requirements. SoMeT 2006: 177-194

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

Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua, Nadia Tawbi: E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines. Journal of Object Technology 4(1): 83-108 (2005)

Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Java for Mobile Devices: A Security Study. ACSAC 2005: 235-244

Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Security Analysis of Mobile Java. DEXA Workshops 2005: 231-235

Mourad Debbabi, Mohamed Saleh: Game Semantics Model for Security Protocols. ICFEM 2005: 125-140

Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua: Security Analysis of Wireless Java. PST 2005

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

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

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

Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell: Security by typing. STTT 4(4): 472-495 (2003)

Kamel Adi, Mourad Debbabi, Mohamed Mejri: A new logic for electronic commerce protocols. Theor. Comput. Sci. 291(3): 223-283 (2003)

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

Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi: Secure Self-certified Code for Java. FASec 2002: 133-151

Kamel Adi, Mourad Debbabi: Abstract interpretation for proving secrecy properties in security protocols. Electr. Notes Theor. Comput. Sci. 55(1): 25-50 (2001)

Stephane Doyon, Mourad Debbabi: On object initialization in the Java bytecode. Computer Communications 23(17): 1594-1605 (2000)

Kamel Adi, Mourad Debbabi, Mohamed Mejri: A New Logic for Electronic Commerce Protocols. AMAST 2000: 499-513

Mourad Debbabi, M. Fourati: Sur la sémantique statique de Java. LMO 2000: 167-182

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

Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi: Secure Self-Certified COTS. WETICE 2000: 183-188

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

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

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

Mourad Debbabi, Y. Legaré, Mohamed Mejri: An Environment for the Specification and Analysis of Cryptoprotocols. ACSAC 1998: 321-332

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

Mourad Debbabi, Zahia Aïdoud, Ali Faour: On the Inference od Structured Recursive Effects with Subtyping. Journal of Functional and Logic Programming 1997(5) (1997)

Mourad Debbabi: A Model-Based Concurrent Specification Language Over CML: Semantic Foundations. Parallel Processing Letters 7(3): 329-356 (1997)

Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi: Formal Automatic Verification of Authentication Crytographic Protocols. ICFEM 1997: 50-59

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

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

Mourad Debbabi: A Concurrent, Specification Language over CML. PDPTA 1995: 541-550

Dominique Bolignano, Mourad Debbabi: A Semantic Theory for Concurrent ML. TACS 1994: 766-785

Dominique Bolignano, Mourad Debbabi: A Coherent Type System for a Concurrent, Functional and Imperative Programming Language. AMAST 1993: 153-162

Dominique Bolignano, Mourad Debbabi: A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming. ICCI 1993: 244-250

Dominique Bolignano, Mourad Debbabi: Higher Order Communication Processes with Value-Passing, Assignment and Return of Results. ISAAC 1992: 319-331