News


Office Address

Computer Security Laboratory (CSL)
Concordia Institute for Information Systems Engineering (CIISE),

Concordia University
1515, Sainte Catherine Street,
EV Building, EV.007.627
Montréal, Québec
H3G 2W1, Canada.
Phone: (514) 848-2424 Ext: 3166
Fax: (514) 848-3171



Publications

Books

  1. M. Debbabi, F. Hassaïne, Y. Jarraya, A. Soeanu, and L. Alawneh. Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models , 270 pages,  ISBN 978-3-642-15227-6, November 2010, Springer.


  2. M. Debbabi, M. Saleh, C. Talhi, S. Zhioua. Embedded Java Security: Security for Mobile Devices, 270 pages, 38 illus., Hardcover, First Edition, ISBN-10: 1-84628-590-9, ISBN-13: 978-1-84628-590-5, November 2006, Springer. (BibTex)


Patents

  1. M. Debbabi, N. Tawbi, S. Zhioua, M. Erhioui, L. Ketari, H. Yahyaoui. Acceleration of Method Call in Virtual Machine. Patent disclosure filed at:

    • US Patent Office: US20020405266P 20020822.
    • European Patent Office: EP1394675.
    • Japan Patent Office: JP2004086869.
    • Chinese Patent Office: CN1251076.

Book Chapters

  1. D. Mouheb, C. Talhi, M. Nouh, V. Lima, M. Debbabi, L. Wang, and M. Pourzandi. Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML. Studies in Computational Intelligence Series, Volume 296/2010, Pages 197-213, DOI: 10.1007/978-3-642-13273-5_13, Springer.

  2. S. Ouchani, O. Ait Mohamed, M. Debbabi, and M. Pourzandi. Verification of the Correctness in Composed UML Behavioural Diagrams. Studies in Computational Intelligence Series, Volume 296/2010, Pages 163-177, DOI: 10.1007/978-3-642-13273-5_11, Springer.

  3. A. Mourad, M-A Laverdière and M. Debbabi. A Security Hardening Language Based On Aspect-Orientation. E-Business and Telecommunications, Communications in Computer and Information Science Series, Volume 23, Pages 254-266, ISSN 1865-0929, 2009, Springer Berlin Heidelberg. (PDF BibTex)

  4. H. Otrok, M. Mehrandish, C. Assi, P. Bhattacharya, M. Debbabi. Mobile Security: Game Theory. In the Encyclopedia of Wireless and Mobile Communications Book, Published on April 15th, 2008, Pages 764-–770, DOI 10.1081/E-EWMC-120043182, CRC Press, Taylor & Francis Group. (PDF BibTex)

  5. M-A. Laverdire, A. Mourad, S. Tlili and M. Debbabi. Wireless Applications: Middleware Security. In the Encyclopedia of Wireless and Mobile Communications Book, Published on April 15th, 2008, Pages 1242–-1250, DOI 10.1081/E-EWMC-120043598, CRC Press, Taylor & Francis Group. (PDF BibTex)

  6. M. Debbabi and M. Fourati. Sur la sémantique de Java. In Christophe Dony and Houari Sahraoui Editors, Languages and Models with Objects, January 2000, Hermès. (PDF BibTex)

  7. M. Debbabi, Z. Aidoud, and A. Faour. On the Inference of Structured Recursive Effects with Subtyping. In Tetsuo Ida, Atsushi Ohori, Masato Takeichi Editors, Functional and Logic Programming, Pages 123-142, April 1997, ISBN 981-02-2923-2, World Scientific. (PDF BibTex)

  8. M. Debbabi and D. Bolignano. A Semantic Theory for ML Higher Order Concurrency Primitives. In Flemming Nielson Editor, ML with Concurrency: Design, Analysis, Implementation and Application, Chapter 6, Pages 145-184, December 1996, ISBN 0-387-94875-9. Monographs in Computer Science, Springer Verlag. (PDF BibTex)

  9. D. Bolignano and M. Debbabi. A Coherent Type Inference System for a Concurrent, Functional and Imperative Programming Language. In Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo Editors, Algebraic Methodology and Software Technology, Pages 153- 162, Workshop Series in Computing, ISBN number: 3-540-19852-0, 1994, Springer Verlag. (PDF BibTex)

Articles Published in Reviewed International Journals

  1. N. Mohammed, H. Otrok, L. Wang, M. Debbabi, and P. Bhattacharya. Mechanism Design-Based Secure Leader Election Model for Intrusion Detection in MANET. In the IEEE Transactions on Dependable and Secure Computing, Volume 99, 2009, ISSN 1545-5971, IEEE Computer Society. (PDF BibTex).

  2. N. Mohammed, B. Fung and M. Debbabi. Anonymity Meets Game Theory: Secure Data Integration with Malicious Participants. Accepted for publication in the VLDB Journal, Springer.

  3. B. Zhu , K. Ren, L. Wang, and M. Debbabi. PCM: A Privacy-Preserving Detection Mechanism in Mobile Ad Hoc Networks. In the International Journal of Security and Communication Networks, Special Issue on Security in Mobile Wireless Networks, Volume 3, Issue 2-3, Pages 167-184, 2009, Wiley Security and Communication Networks.

  4. F. Iqbal, H. Binsalleeh, B. C.M. Fung, M. Debbabi. Mining Writeprints from Anonymous E-mails for Forensic Investigation. In the Digital Investigation Journal, in Press, ISSN 1742-2876, Elsevier.

  5. M. Saleh and M. Debbabi. A Game-theoretic Framework for Specification and Verification of Cryptographic Protocols. In Formal Aspects of Computing, Pages 2816-2821, ISSN 0934- 5043, 2009, Springer. (PDF BibTex)

  6. A. Rachedi, A. Benslimane, H. Otrok, N. Mohammed, and M. Debbabi. A Secure Mechanism Design-Based and Game Theoretical Model for MANETs. In the Journal of Mobile Networks and Applications, MONET, Volume 15, Number 2, Pages 191-204, 2010, ISSN 1572-8153, Springer. (PDF BibTex)

  7. R. Charpentier, M. Debbabi, and TFOSS Research Team. Security Evaluation and Hardening of Free and Open Source Software (FOSS). Accepted for publication in the Electronic Communications of the EASST, 2010

  8. V. Lima, C. Talhi, D. Mouheb, M. Debbabi, M. Pourzandi, and L. Wang. Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. In the Electronic Notes of Theoretical Computer Science, Volume 254, Pages 143-160, 2009, ISSN 1571-0661, Elsevier Science Publishers. (PDF BibTex)

  9. D. Alhadidi, N. Belblidia, A. Boukhtouta, and M. Debbabi. Extending AspectJ Open Source for Application Security Hardening. In the International Journal of Software Engineering Studies, Volume 4, Number 1, 2009. 

  10. S. M. Hejazi, C. Talhi, and M. Debbabi. Extraction of Forensically Sensitive Information from Windows Physical Memory. In the Digital Investigation Journal, Volume 6, Pages S121-S131, 2009, Elsevier Science Publishers. (PDF BibTex)

  11. A. Mourad, M-A. Laverdière, A. Soeanu, and M. Debbabi . New Aspect-Oriented Constructs for Security Hardening Concerns. In the Journal of Computers and Security, Volume 28, Number 6, Pages 341-358, 2009, Elsevier Science Publishers. (PDF BibTex)

  12. S. Tlili and M. Debbabi. Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. In the Journal of Automated Reasoning, Volume 42, Numbers 2-4, Pages 265-300, 2009, ISSN 1573-0670, Springer. (PDF BibTex)

  13. Y. Jarraya, A. Soeanu, L. Alawneh, M. Debbabi, and F. Hassaine. Synergistic Verification and Validation of Systems and Software Engineering Models. In the International Journal of General Systems, Volume 38, Issue 7, Pages 719-746, 2009, Taylor & Francis Group Publishers. (PDF BibTex)

  14. R. Hadjidj, M. Debbabi, H. Lounis, F. Iqbal, A. Szporer, D. Benredjem. Towards an Integrated Email Forensics Analysis Framework. In the Digital Investigation Journal, Volume 5, Issues 3-4, March 2009, Pages 124-137, 2009, Elsevier Science Publishers. (PDF BibTex)

  15. A. Boukhtouta, D. Alhadidi, M. Debbabi, and C. Talhi. Capturing Returned Computable Values in AspectJ for Security Hardening. In the Information Security Journal: A Global Perspective, Volume 18, Number 2, Pages 87-98, 2009, Taylor & Francis Group Publishers. (PDF BibTex)

  16. D. Alhadidi, N. Belblidia, and M. Debbabi. Lambda-SAOP: A Security AOP Calculus. In the Computer Journal, Volume 52, Number 7, Pages 824-849, 2009, Oxford University Press. (PDF BibTex)

  17. S. M. Hejazi, M. Debbabi, and C. Talhi. Automated Windows Memory File Extraction for Cyber Forensics. In the Journal of Digital Forensic Practice, Volume 2, Number 3, Pages 117-131, 2008, Taylor and Francis Publishers. (PDF BibTex)

  18. H. Issa, C. Assi, M. Debbabi, and S. Ray. QoS-Aware Middleware for Web Services Composition, a Qualitative Approach. In the Journal of Enterprise Information Systems, Volume 3, Issue 4, November 2009, Pages 449-470, 2009, Taylor and Francis Publishers. (PDF BibTex)

  19. C. Talhi, D. Mouheb, V. Lima, M. Debbabi, L. Wang, and M. Pourzandi. Usability of Security Specification Approaches for UML Design: A Survey. In the Journal of Object Technology, Volume 8, Number 1, 2009. (PDF BibTex)

  20. A. Mourad, M-A Laverdière, A. Soeanu, and M. Debbabi. Nouveaux Points de Coupure et Primitives pour les Préoccupations de Renforcement de Sécurité. In the Technique et Science Informatiques (TSI) Journal, Volume 28, Number 5, Pages 611-644, 2009, Hermès/Lavoisier.

  21. D. Alhadidi, M. Debbabi, and P. Bhattacharya. New AspectJ Poincuts for Integer Overflow and Underflow Detection. In the Information Security Journal: A Global Perspective, Volume 17, Number 5-6, Pages 278-287, 2008, Taylor and Francis Publishers. (PDF BibTex)

  22. H. Otrok, M. Mehrandish, C. Assi, M. Debbabi and P. Bhattacharya. Game Theoretic Models for Detecting Network Intrusions. In the Journal of Computer Communications, Volume 31, Issue 10, Pages 1934-1944, June 2008, Elsevier Science Publishers. (PDF BibTex)

  23. A. Mourad, M-A Laverdière and M. Debbabi. An Aspect Oriented Approach for the Security Hardening of Code. In the Journal of Computers & Security, Volume 27, Issues 3-4, Pages 101--114, May-June 2008, Elsevier Science Publishers. (PDF BibTex)

  24. R. Charpentier, M. Debbabi, A. Mourad, and M-A Laverdière. Security Hardening of Open Source Software. In the Open Source Business Resource Journal, June 2008, Open Journal Systems Publishers. (PDF BibTex)

  25. B. Fung, I. Farkhund, R. Hadjidj, and M. Debbabi. A Novel Approach of Mining Write- Prints for Authorship Attribution in E-mail Forensics. In the Digital Investigation Journal, Volume 5, Pages 42-51, 2008, Elsevier Science Publishers. (PDF BibTex)

  26. A. Mourad, M-A Laverdière and M. Debbabi. A High-Level Aspect-Oriented Based Framework for Software Security Hardening. In the Information Security Journal: A Global Perspective, Volume 17, Issue 2, Pages 56-74, May 2008, Taylor & Francis Group Publishers. (PDF BibTex)

  27. H. Otrok, N. Mohammed, L. Wang, M. Debbabi and P. Bhattacharya. A Game-Theoretic Intrusion Detection Model for Mobile Ad-hoc Networks. In the special issue of the Computer Communications journal on "Algorithmic and Theoretical Aspects of Wireless Ad Hoc and Sensor Networks", Volume 31, Issue 4, Pages 708-721, March 2008, Elsevier Science Publishers. (PDF BibTex)

  28. C. Talhi, N.Tawbi, and M. Debbabi. Execution Monitoring Enforcement under Memory-Limitations Constraints. In the Journal of Information and Computation, Volume 206, Number 2-4, Pages 158-184, 2008, Elsevier Science Publishers. (PDF BibTex)

  29. A. R. Arasteh, M. Debbabi. Forensic Memory Analysis: From Stack and Code to Execution History. In the Digital Investigation Journal, Volume 4, Number 1,  September 2007,  Pages 114-125, Elsevier Science Publishers. (PDF BibTex)

  30. A. R. Arasteh, M. Debbabi, A. Sakha, M. Saleh. Analyzing Multiple Logs for Forensic Evidence. In the Digital Investigation Journal, Volume 4, Number 1,  September 2007,  Pages 82-91, Elsevier Science Publishers. (PDF BibTex)

  31. M. Saleh, A.R. Arasteh, A. Sakha, and M. Debbabi. Forensics Analysis of Logs: Modeling and Verification. In the Journal of Knowledge Based Systems, Volume 20, Issue 7, 2007, Pages 671-682, Elsevier Science Publishers. (PDF BibTex)

  32. M. Debbabi, M. Fourati. A Formal Type System for Java. In the International Journal of Object Technology, Volume 6, Number 8, pages 117-184, September 2007. (PDF BibTex)

  33. A. Benssam, J. Berger, A. Boukhtouta, M. Debbabi, S. Ray, A. Sahi. What Middleware for Network Centric Operations? In the International Journal of Knowledge Based Engineering, volume 20, issue 3, Pages 255-265, April 2007, Elsevier Science Publishers. (PDF BibTex)

  34. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Security Analysis of Mobile Embedded Java. In the International Journal of Object Technology, Volume 5(2), Pages 125-154, 2006. (PDF BibTex)

  35. M. Debbabi, A. Gherbi, A. Mourad, and H. Yahyaoui. A Selective Dynamic Compiler for Embedded Java Virtual Machines Targeting ARM Processors. In the International Journal of Science of Computer Programming, Volume 59(1-2), Pages 38-63, 2006, Elsevier Science Publishers. (PDF BibTex)

  36. N. Belblidia and M. Debbabi. A Dynamic Operational Semantics for JVML. In the International Journal of Object Technology, Volume 6, Issue 3, Pages 71-100, February-March 2007. (PDF BibTex)

  37. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Vulnerability Analysis of J2ME CLDC Security. In the US DoD Information Assurance Newsletter, Volume 9, Number 2, Pages 18-23, September 2006. (PDF BibTex)

  38. M. Debbabi, A. Gherbi, L. Ketari, C. Talhi, N. Tawbi, H. Yahyaoui, and S. Zhioua. E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines. In the International Journal of Object Technology, Volume 4, Issue 1, Pages 83-108, January 2005. (PDF BibTex)

  39. M. Debbabi, A. Mourad, C. Talhi, and H. Yahyaoui. Accelerating Embedded Java for Mobile Devices. In the IEEE Communications Magazine, Volume.43, Number 9, Pages 80-85, September 2005, IEEE Press. (PDF BibTex)

  40. K. Adi, M. Debbabi, and M. Mejri. A New Logic for Electronic Commerce Protocols. In the International Journal of Theoretical Computer Science, TCS, Volume 291, Number 3, Pages 223-283, 2003, Elsevier Science Publishers. (PDF BibTex)

  41. M. Debbabi and M. Mejri. Towards the Correctness of Security Protocols. Electronic Notes in Theoretical Computer Science, Volume 83, Issue 1, Pages 1-46, 2003, Elsevier Science Publishers. (PDF BibTex)

  42. M. Debbabi, N. Durgin, M. Mejri, and J. Mitchell. Security by Typing. In the International Journal of Software Systems for Technology Transfer, STTT, Springer Verlag, Volume 4, Pages 1-24, DOI 10.1007/s10009-002-0100-7, 2002, Springer Verlag. (PDF BibTex)

  43. M. Debbabi, N. Tawbi, and H.Yahyaoui. A Formal Dynamic Semantics of Java: An Essential Ingredient of Java Security. In the Journal of Telecommunications and Information Technology, Volume 4, Pages 81-119, National Institute of Telecommunications, 2002. (PDF BibTex)

  44. K. Adi and M. Debbabi. Abstract Interpretation for Proving Secrecy Properties in Security Protocols. Electronic Notes in Theoretical Computer Science, Volume 55, Issue 1, Pages 29-54, 2001, Elsevier Science Publishers. (PDF BibTex)

  45. S. Doyon and M. Debbabi. On Object Initialization in the Java Bytecode. In the International Journal of Computer Communications, Volume 23, Issue 17, November 1, 2000, Pages 1594-1605, Elsevier Science Publishers. (PDF BibTex)

  46. M. Debbabi and A. Faour. On the Inference of Structured Recursive Effects with Subtyping. In the International Journal of Functional and Logic Programming, Pages 1-35, Volume 1997, Number 5, June 1997, MIT Press. (PDF BibTex)

  47. M. Debbabi. From CML to a Model-Based Concurrent Specification Language: Semantic Foundations. In the Journal of Parallel Processing Letters (PPL), Volume 7, Number 3, Pages 329-356, 1997, World Scientific. (PDF BibTex)

  48. M. Debbabi, N. Tawbi and F. Bouguerch. Information Control Nets as Processes: Qualitative Processes. In the Journal of Concurrent Engineering: Research and Application, Volume 5, Number 1, Pages 47-57, March 1997, Technomic Publishing. (PDF BibTex)

  49. M. Debbabi. A Model-Based Concurrent Specification Language Over Concurrent ML. In the Journal Concurrent Engineering: Research and Application, Volume 4, Number 2, Pages 137-148, June 1996, Technomic Publishing. (PDF BibTex)

  50. M. Debbabi and D. Bolignano. Programmation parallèle fonctionnelle et impérative : fondements sémantiques. In Journal Technique et Science Informatiques, TSI, Volume 15, Number 7, Pages 899-928, September 1995, Hermès. (PDF BibTex)

Articles Published in Reviewed International Conferences

  1. H. Binsalleeh, T. Ormerod, A. Boukhtouta, P. Sinha, A. Youssef, M. Debbabi, and L. Wang. On the Analysis of the Zeus Botnet Crimeware Toolkit. In the Proceedings of the 8th Annual Conference on Privacy, Security and Trust (PST 2010), August 17-19, 2010, Ottawa, Ontario, Canada (Best Paper Award).

  2. P. Sinha, A. Boukhtouta, V. H. Belarde, and M. Debbabi. Insights from the Analysis of the Mariposa Botnet. In the Proceedings of the 5th International Conference on Risks and Security of Internet and Systems (CRISIS 2010), October 10-13, 2010, Montreal, Quebec, Canada.

  3. M. Nouh, R. Ziarati, D. Mouheb, D. Alhadidi, M. Debbabi, L. Wang, and M. Pourzandi. Aspect Weaver: A Model Transformation Approach for UML Models . In the Proceedings of the 20th Annual International Conference on Computer Science and Software Engineering of the IBM Centers for Advanced Studies (CASCON 2010), November 1-4, 2010, Toronto, Ontario, Canada.

  4. D. Mouheb, D. Alhadidi, M. Nouh, M. Debbabi, L. Wang, and M. Pourzandi. Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework. In the Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 14-16, 2010, Guimaraes, Portugal, Springer.

  5. T. Ormerod, L. Wang, M. Debbabi, A. Youssef, H. Binsalleeh, A. Boukhtouta, and P. Sinha. Defaming Botnet Toolkits: A Bottom-Up Approach to Mitigating the Threat . In the Proceedings of the 4th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2010), July 18-25, 2010, Venice/Mestre, Italy.

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

  7. D. Alhadidi, A. Boukhtouta, N. Belblidia, M. Debbabi, and P. Bhattacharya. The Dataflow Pointcut: A Formal and Practical Framework. In the Proceedings of the 8th International Conference on Aspect-Oriented Software Development (AOSD'09), Pages 15-26, March 2-6, 2009, Charlottesville, Virginia, USA, ACM Press. (PDF BibTex)

  8. S. M. Hejazi, C. Talhi, and M. Debbabi. Extraction of Forensically Sensitive Information from Windows Physical Memory. In the Proceedings of the 9th Digital Forensic Research Workshop (DFRWS'2009), August 17-19, 2009, Montreal, QC, CA, Elsevier Press. (PDF BibTex)

  9. D. Mouheb, C. Talhi, M. Azzam, V. Lima, M. Debbabi, L. Wang, and M. Pourzandi. An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation. In the Proceedings of the 8th International Conference on Software Methodologies, Tools and Techniques (SOMET'2009), September 23-25, 2009, Prague, Czech Republic, Pages 203-222, IOS Press. (PDF BibTex)

  10. A. Hanna, H. Z. Ling, X. Yang, and M. Debbabi. A Synergy Between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities. In the Proceedings of the International Symposium on Information Security (IS'2009), LNCS, Volume 5871, Pages 815-832, 2009, ISBN 978-3-642-05150-0, Springer Verlag.

  11. S. Tlili, X. Yang, R. Hadjidj, and M. Debbabi. Verification of CERT Secure Coding Rules: Case Studies. In the Proceedings of the International Symposium on Information Security (IS'2009), LNCS, Volume 5871, Pages 913-930, 2009, ISBN 978-3-642-05150-0, Springer Verlag.

  12. A. Boukhtouta, D. Alhadidi, and M. Debbabi. A Practical Framework for the Dataflow Pointcut in AspectJ. In the Proceedings of the International Workshop on Secure Software Engineering (SecSE'2009), International Conference on Availability, Reliability and Security, March 16-19, 2009, Fukuoka, Japan, Pages 835-840, IEEE Press.

  13. Y. Jarraya, M. Debbabi, and J. Bentahar. On the Meaning of SysML Activity Diagrams. In the Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'09), April 14-16, 2009, San Francisco, CA, USA, Pages 95-105, IEEE Press. (PDF BibTex)

  14. V.Lima, C. Talhi, D. Mouheb, M. Debbabi, M. Pourzandi, and L. Wang. Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. In the Proceedings of the 4th International Workshop on Systems Software Verification (SSV'09), June 22-24, 2009, Aachen, Germany, ENTCS, Volume 254, Pages 143-160. (PDF BibTex)

  15. D. Mouheb, C. Talhi, V. Lima, M. Debbabi, L. Wang, and M. Pourzandi. Weaving Security Aspects into UML 2.0 Design Models. In the Proceedings of the 13th Aspect Oriented Modeling Workshop (AOM'09), at the International Conference on Aspect-Oriented Software Development (AOSD'09), March 2-6, 2009, Charlottesville, Virginia, USA. Pages 7-12, ACM Press. (PDF BibTex)

  16. H. Otrok, N. Mohammed, L. Wang, M. Debbabi, and P. Bhattacharya. A Moderate to Robust Game Theoretical Model for Intrusion Detection in MANETs. In the Proceedings of the fourth IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (Security and Privacy Workshop - SecPri_WiMob'2008), October 12-14, 2008, Avignon, France, Pages 608-612, IEEE Press. (PDF BibTex)

  17. B. C. M. Fung, K. Wang, L. Wang, and M. Debbabi. A Framework for Privacy-Preserving Cluster Analysis. In the Proceedings of the 2008 IEEE International Conference on Intelligence and Security Informatics (ISI), Pages 46-51, June 17-20, 2008, Taipei, Taiwan, IEEE Press

  18. A. Rachedi, A. Benslimane, H. Otrok, N. Mohammed, and M. Debbabi. A Mechanism Design-Based Secure Architecture for Mobile Ad Hoc Networks. In the Proceedings of the fourth IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob'2008), October 12-14, 2008, Avignon, France, Pages 417-422, IEEE Press. (PDF BibTex)

  19. A. Mourad, D. Alhadidi, and M. Debbabi. Cross-Language Weaving Approach Targeting Software Security Hardening. In the Proceedings of the sixth Annual Conference on Privacy, Security and Trust (PST'2008), October 1-3, 2008, Fredericton, New Brunswick, Canada, Pages 87-98, IEEE/ACM Press. (PDF BibTex)

  20. R. Hadjidj, X. Yang, S. Tlili, and M. Debbabi. Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. In the Proceedings of the sixth Annual Conference on Privacy, Security and Trust (PST'2008), October 1-3, 2008, Fredericton, New Brunswick, Canada, Pages 133-142, IEEE/ACM Press. (PDF BibTex)

  21. S. Mokhov, J. Paquet, and M. Debbabi. Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. In Proceedings of the 4th International Conference on IT Incident Management & IT Forensics (IMF'2008), September 23-25, 2008, Mannheim, Germany, Pages 197-216. (PDF BibTex)

  22. A. Mourad, D. Alhadidi, and M. Debbabi. Towards Language-Independent Approach for Security Concerns Weaving. In the Proceedings of the International Conference on Security and Cryptography (ICETE-Secrypt 2008), July 26-29, 2008, Porto, Portugal, Pages 460- 465, INSTICC Press. (PDF BibTex)

  23. S. Tlili, Z. Yang, H. Ling, and M. Debbabi. A Hybrid Approach for Safe Memory Management in C. in the Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST'2008), July 28-31, 2008, Urbana, IL, USA, LNCS, Volume 5140, Pages 377-391, Springer Press. (PDF BibTex)

  24. A. Hanna, H. Ling, J. Furlong, Z. Yang, and M. Debbabi. Targeting Security Vulnerabilities: From Specification to Detection. In the Proceedings of the Quality Software, International Conference (QSIC 2008), August 12-13, 2008, Oxford, England, Pages 97-102, IEEE Press. (PDF BibTex)
  25. A. Hanna, H. Ling, J. Furlong, and M. Debbabi. Towards Automation of Testing High-Level Security Properties. In the Proceedings of the DBSEC-2008 Conference, July 13-16, 2008, London, England, Lecture Notes in Computer Science, Pages 268-282, Springer-Verlag. (PDF BibTex)

  26. B. Fung, I. Farkhund, R. Hadjidj, and M. Debbabi. A Novel Approach of Mining Write-Prints for Authorship Attribution in E-mail Forensics. In the Proceedings of the 8th Digital Forensic Research Workshop (DFRWS'2008), August 11-13, 2008, Baltimore, MD, Elsevier Press. (PDF BibTex)

  27. N. Mohammed, H. Otrok, L. Wang, M. Debbabi, and P. Bhattacharya. A Mechanism Design-Based Multi-Leader Election Scheme for Intrusion Detection in MANET. In the Proceedings of the IEEE Wireless Communications & Networking Conference (IEEE WCNC'2008), March 31 - April 3, 2008, Las Vegas, Nevada, USA, Pages 2816-2821, IEEE Press. (PDF BibTex)

  28. S. Tlili and M. Debbabi. Type and Effect Annotations for Safe Memory Access in C. In the Proceedings of the 3rd International Conference on Availability, Reliability, and Security (ARES'2008), March 4-7, 2008, Barcelona, Spain, Pages 302-309, IEEE Press. (PDF BibTex)

  29. S. Tlili and M. Debbabi. Novel Flow-Sensitive Type and Effect Analysis for Securing C Code. In the Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'08), Security and Information Assurance Track, March 31 - April 4, 2008, Doha, Qatar, Pages 661-668, IEEE Press. (PDF BibTex)

  30. H. Otrok, N. Mohammed, L. Wang, M. Debbabi, and P. Bhattacharya. An Efficient and Truthful Leader IDS Election Mechanism for MANET. In the Proceedings of the 3rd IEEE Wireless and Mobile Computing, Networking and Communications, WIMOB'2007 Conference, October 8-10, 2007, New York, Pages 78, IEEE Press. (PDF BibTex)

  31. H. Yahyaoui, M. Debbabi, and N. Tawbi. A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. In the Proceedings of the Seventh International Conference on Quality Software (QSIC'07), Pages 348-355, October 11-12, 2007, Portland, Oregon, USA, IEEE Computer Society.

  32. M. Saleh and M. Debbabi. Verifying Security Properties of Cryptoprotocols: A Novel Approach. In the Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM'2007), September 10-14, 2007, London, England, Pages 349-360, IEEE Press. (PDF BibTex)

  33. Dima Alhadidi, Nadia Belblidia and Mourad Debbabi. l -AOP: An AOP Extended Lambda-Calculus. . In the Proceedings of IEEE International Conference on Software Engineering and Formal Methods (SEFM'2007), September 10-14, 2007, London, England, Pages 183-194, IEEE Press. (PDF BibTex)

  34. A. Mourad, M-A. Laverdière, and M. Debbabi. A High-Level Aspect-Oriented Based Language for Software Security Hardening. In the Proceedings of the International Conference on Security and Cryptography (Secrypt'2007), July 28-31, Barcelona, Spain. (PDF BibTex)

  35. A. Mourad, M-A. Laverdière, and M. Debbabi. New Primitives to AOP Weaving Capabilities for Security Hardening Concerns. In the proceedings of the 9th International Conference on Enterprise Information Systems, Security in Information Systems Symposium (ICEIS-WOSIS 2007), June 12-13, 2007, Funchal, Madeira, Portugal, Pages 123-130, INSTICC Press. (PDF BibTex)

  36. M-A. Laverdière, A. Mourad, A. Soeanu, and M. Debbabi. Control Flow Based Pointctus for Security Hardening Concerns. In the Proceedings of the Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2007), July 30 . August 2, 2007, Moncton, New Brunswick, Canada, IFIP/Springer Press. (PDF BibTex)

  37. H. Otrok, M. Debbabi, C. Assi, and P. Bhattacharya. A Cooperative Approach for Analyzing Intrusions in Mobile Ad hoc Networks. In the proceedings of the 27th International Conference on Distributed Computing Systems - Workshops (ICDCS Workshops 2007), Toronto, ON, Canada, June 2007, Pages 86, IEEE Press. (PDF BibTex)

  38. H. Otrok, J. Paquet, M. Debbabi, and P. Bhattacharya. Testing Intrusion Detection Systems in Mobile Ad-hoc Networks: A Comprehensive Study. In the Proceedings of the Communication Networks and Services Research Conference (CNSR 2007), May 2007, Fredericton, NB, Canada, Pages 364-371, IEEE Press. (PDF BibTex)

  39. A. Mourad, M-A. Laverdière, and M. Debbabi. Towards an Aspect Oriented Approach for the Security Hardening of Code. In the Proceedings of the IEEE 21st International Conference on Advanced Information Networking and Applications, Security in Networks and Distributed Systems Symposium (AINA-SSNDS), May 21-23, 2007, Niagara Falls, Canada, Pages 595-600, IEEE Press. (PDF BibTex)

  40. M-A. Laverdière, A. Mourad, A. Soeanu, and M. Debbabi. Points de Coupure pour les Préoccupations de Renforcement de Sécurité Utilisant le Flot de Contrôle . In the Proceedings of the 3me Journée Francophone sur le Dveloppement de Logiciels Par Aspects (JFDLPA 2007, AOSD), March 26, 2007, Toulouse, France.

  41. Y. Jarraya, A. Soeanu, M. Debbabi, and F. Hassaine. Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. In the Proceedings of the 14th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07), March 26-29, 2007, Tucson, AZ, USA, Pages 515-522, 2007, IEEE Press. (PDF BibTex)

  42. A. R. Arasteh, M. Debbabi, and A. Sakha. A Formal Approach for the Forensic Analysis of Logs. In the Proceedings of the 5th International Conference on Software Methodologies, Tools and Techniques (SOMET'2006), October 25-27, 2006, Québec, Canada, Pages 159- 176, IOS Press. (PDF BibTex)

  43. A. R. Arasteh and M. Debbabi. Forensic Memory Analysis: From Stack and Code to Execution History. In the Proceedings of the 7th Annual Digital Forensics Research Workshop (DFRWS'2007), August 13-15, 2007, Pittsburgh, PA, USA, Pages 114-125, Elsevier. (PDF BibTex)

  44. A. R. Arasteh, M. Debbabi, A. Sakha, and M. Saleh. Analyzing Multiple Logs for Forensic Evidence. In the Proceedings of the 7th Annual Digital Forensics Research Workshop (DFRWS'2007), August 13-15, 2007, Pittsburgh, PA, USA, Pages 82-91, Elsevier. (PDF BibTex)

  45. Z. Yang, A. Hanna, and M. Debbabi. Team Edit Automata for Testing Security Properties. In the Proceedings of the 3rd International Symposium on Information Assurance and Security (IAS'2007), August 29-31, 2007, Manchester, United Kingdom, IEEE Press. (PDF BibTex)

  46. M. Saleh and M. Debbabi. Modeling Security Protocols as Games. In the Proceedings of the 3rd International Symposium on Information Assurance and Security (IAS'2007), August 29-31, 2007, Manchester, United Kingdom, Pages 253-260, IEEE Press. (PDF BibTex)

  47. M. Mehrandish, H. Otrok, M. Debbabi, and C. Assi. A Game Theoretic Approach to Detect Network Intrusions: The Cooperative Intruders Scenario. In the Proceedings of the IEEE Global Telecommunications Conference, GLOBECOM'2006, November 27 - December 1, 2006, San Francisco, California, USA, IEEE Press. (PDF BibTex)

  48. N. Belblidia and M. Debbabi. Towards a Formal Semantics for AspectJ Weaving. In the Proceedings of the Joint Modular Languages Conference (JMLC'2006), September 13.15, 2006, Jesus College, Oxford, UK, Lecture Notes in Computer Science, LNCS, Volume 4228, Pages 155-171, Springer Verlag. (PDF BibTex)

  49. N. Belblidia and M. Debbabi. Formalizing AspectJ Weaving for Static Pointcuts. In the Proceedings of the IEEE International Conference on Software Engineering and Formal Methods (SEFM'2006), September 11-15, 2006, Pune, India, Pages 50-59, IEEE Press. (PDF BibTex)

  50. J. Berger, A. Boukhtouta, and M. Debbabi. A Middleware Solution for Data and Service Integration in Network Centric Information Systems. In the Proceedings of the European Conference on Information Warfare and Security (ECIW'2006), June 1-2, 2006, National Defence College, Helsinki, Finland, Academic Conferences Limited. (PDF BibTex)

  51. J. Berger, A. Boukhtouta, A.-C. Boury-Brisset, M. Debbabi, H. Issa, S. Ray, and S. Dalouche. A Network Centric Infrastructure for Decision Support Based on Service Integration. In the Proceedings of the International Command and Control Research and Technology Symposium (ICCRTS'2006), September 26-28, 2006, De Vere University Arms, Cambridge, UK, DoD CCRP Publishing. (PDF BibTex)

  52. C. Talhi, N. Tawbi, and M. Debbabi. Execution Monitoring Enforcement for Limited- Memory Systems. In the Proceeding of the International Conference on Privacy, Security and Trust (PST'2006), October 30 - November 1, 2006, Markham, Ontario, Canada, Pages 1-12, McGraw-Hill. (PDF BibTex)

  53. C. Talhi, N. Tawbi, and M. Debbabi. Execution Monitoring Enforcement under Memory Limitation Constraints. In the Proceeding of the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, August 15-16, 2006, Seattle, USA. (PDF BibTex)

  54. D. Alhadidi, N. Belblidia, and M. Debbabi. Security Crosscutting Concerns and AspectJ. In the Proceeding of the International Conference on Privacy, Security and Trust, PST'2006, October 30 - November 1, 2006, Markham, Ontario, Canada, McGraw-Hill. (PDF BibTex)

  55. Mourad, M-A. Laverdière, and M. Debbabi. Security Hardening of Open Source Software. In the Proceeding of the International Conference on Privacy, Security and Trust, PST'2006, October 30 - November 1, 2006, Markham, Ontario, Canada, McGraw-Hill. (PDF BibTex)

  56. D. Alhadidi, N. Belblidia, and M. Debbabi. AspectJ Assessment from a Security Perspective. In the Proceedings of the Workshop on Practice and Theory of IT Security, PTITS'2006, May 17-19, 2006, Montreal, Quebec, Canada. (PDF BibTex)

  57. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Common Criteria Approach to J2ME CLDC Security Requirements. In the Proceedings of the International Conference on Software Methodologies, Tools and Techniques, SoMeT'2006, October 25-27, Québec, Canada, Pages 177-194, IOS Press. (PDF BibTex)

  58. M. Mehrandish, C. Assi, and M. Debbabi. A Game Theoretic Model to Handle Network Intrusions over Multiple Packets. In the Proceedings of IEEE International Conference on Communications, ICC'2006, Pages 2189 - 2194, June 11-15, 2006, Istanbul, Turkey, IEEE Press

  59. A. K. Venkataiahgari, M. Debbabi, and J. W. Atwood. Secure E-Commerce Protection Profile. In the Proceedings of the International Conference on Security and Management, SAM'2006, June 26-29, 2006, Las Vegas, Nevada, USA. (PDF BibTex)

  60. A. K. Venkataiahgari, J. W. Atwood, and M. Debbabi. Secure E-Commerce Transactions for Multicast Services. In the Proceedings of the IEEE Conference on E-Commerce Technology, CEC'2006, June 26-29, 2006, San Francisco, CA, USA, Pages 18, IEEE Press. (PDF BibTex)

  61. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Security Analysis of Wireless Java. In the Proceedings of the 3rd Annual Conference on Privacy, Security and Trust, PST'05, Pages 1-11, August 2005, Saint Andrews, New Brunswick, Canada. (PDF BibTex)

  62. A. K. Venkataiahgari, J. W. Atwood, and M. Debbabi. A Survey of Secure B2C Commerce for Multicast Services. In the Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering, CCECE'2006, May 7-10, 2006, Ottawa, Ontario, Canada, IEEE Press. (PDF BibTex)

  63. N. Belblidia, M. Debbabi, A. Hanna, and Z. Yang. AOP Extension for FOSS Security Testing. In the Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering, CCECE'2006, May 7-10, 2006, Ottawa, Ontario, Canada, IEEE Press. (PDF BibTex)

  64. M-A. Laverdière, A. Mourad, A. Hanna, and M. Debbabi. Security Design Patterns: Survey and Evaluation. In the Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering, CCECE'2006, May 7-10, 2006, Ottawa, Ontario, Canada, Pages 1605-1608, IEEE Press. (PDF BibTex)

  65. H. Issa, C. Assi, and M. Debbabi. QoS-Aware Middleware for Web Services Composition: A Qualitative Approach. In the Proceedings of the IEEE Symposium on Computers and Communications, ISCC'2006, June 26-29, Pula-Cagliari, Sardinia, Italy, Pages 359-364, IEEE Press. (PDF BibTex)

  66. L. Alawneh, M. Debbabi, F. Hassaine, Y. Jarraya, P. Shahi, and A. Soeanu. Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models . In the Proceedings of the International Conference on Software Engineering, SE'2006, February 14-16, 2006, Innsbruck, Austria, Pages 282-287, ACTA Press, ISBN 0-88986-574-4. (PDF BibTex)

  67. L. Alawneh, M. Debbabi, F. Hassaine, and A. Soeanu. On the Verification and Validation of UML Structural and Behavioral Diagrams. In the Proceedings of the International Conference on Advances in Computer Science and Technology, ACST'2006, January 23-25, 2006, Puerto Vallarta, Mexico, Pages 304-309, ACTA Press, ISBN 0-88986-545-0. (PDF BibTex)

  68. L. Alawneh, M. Debbabi, Y. Jarraya, A. Soeanu, and F. Hassaine. A Unified Approach for Verification and Validation of Systems and Software Engineering Models . In the Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems, ECBS'2006, 27-30 March 2006, Potsdam, Germany, Pages 409-418, IEEE Computer Society 2006, ISBN 0-7695-2546-6. (PDF BibTex)

  69. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Java for Mobile Devices: A Security Study. In Proceedings of the Annual Computer Security Applications Conference, ACSAC'05, Tucson, Arizona, USA, December 2005, Pages 235-244, IEEE Press. (PDF BibTex)

  70. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Security Analysis of Wireless Java. In Proceedings of the 3rd Annual Conference on Privacy, Security and Trust, PST'05, Pages 1-11, Saint Andrews, New Brunswick, Canada, August 2005. (PDF BibTex)

  71. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Security Analysis of Mobile Java. In the Proceedings of the First International Workshop on Secure and Ubiquitous Networks, SUN'2005, Pages 1-5, Copenhagen, Denmark, August 2005, IEEE Press. (PDF BibTex)

  72. A. Benssam, A. Boukhtouta, M. Debbabi, H. Issa, S. Ray, and A. Sahi. A Message-Based Middleware for Asynchronous Operations: Issues and Experience. In the Proceedings of Nouvelles Technologies de la Répartition Conference, NOTERE'05, Pages 1-10, Université de Québec en Outaouais, QC, Canada, August 2005. (PDF BibTex)

  73. P. Bhattacharya, M. Debbabi, and H. Otrok. Improving the Diffie-Hellman Secure Key Exchange. In Proceedings of the IEEE Conference on Wireless Networks, Communications, and Mobile Computing, Wirelesscom'2005, Pages 1-6, Maui, Hawaii, USA, June 2005, IEEE Press. (PDF BibTex)

  74. H. Otrok, A. Mourad, M. Debbabi, and C. Assi. Improving the Security of SNMP in Wireless Networks. In the Proceedings of the IEEE Conference on Wireless Networks, Communications, and Mobile Computing, Wirelesscom'2005, Pages 1-5, Maui, Hawaii, USA, June 2005, IEEE Press. (PDF BibTex)

  75. O. Moselhi, A. Hammad, S. Alkass, C. Assi, M. Debbabi, and M. Haider. Vulnerability Assessment of Civil Infrastructure Systems: A Network Approach. In the Proceedings of the first CSCE Specialty Conference on Infrastructure Technologies, Management and Policy, Pages 1-8, Toronto, Ontario, Canada, June 2005. (PDF BibTex)

  76. M. Debbabi, A. Mourad, and N. Tawbi. Armed E-Bunny: A Selective Dynamic Compiler for Embedded Java Virtual Machine Targeting ARM Processors. In the Proceedings of the ACM Symposium on Applied Computing, SAC'2005, Pages 874-878, March 13-17, 2005, Santa Fe, New Mexico, USA, ACM Press. (PDF BibTex)

  77. M. Debbabi and M. Saleh. Game Semantics Model for Security Protocols. In the Proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM'2005, November 1-4, 2005, Manchester, UK, LNCS, Volume 3785, Pages 125-140, Springer Berlin/Heidelberg.

  78. A. Benssam, S. Ray, A. Boukhtouta, F. Guerroumi, C. Assi, and M. Debbabi. A new Paradigm for Information Systems Integration. In the Proceedings of Montreal Conference on e-Technologies, MCETECH'05, Pages 63-72, Montreal, Quebec, Canada, January 2005. (PDF BibTex)

  79. M. Debbabi, A. Gherbi, L. Ketari, C. Talhi, N. Tawbi, H. Yahyaoui, and S. Zhioua. A Dynamic Compiler for Embedded Java Virtual Machines. In the Proceedings of the 3rd International Conference on Principles and Practice of Programming in Java, ACM PPPJ'2004, Pages 100--107, Las Vegas, Nevada, USA, June 2004, ACM Press. (PDF BibTex)

  80. M. Debbabi, A. Gherbi, L. Ketari, C. Talhi, N. Tawbi, H. Yahyaoui, and S. Zhioua. A Synergy between Efficient Interpretation and Fast Selective Dynamic Compilation for the Acceleration of Embedded Java Virtual Machines. In the Proceedings of the third International Conference on Principles and Practice of Programming in Java, ACM PPPJ'04, Pages 108--115, Las Vegas, Nevada, USA, June 2004, ACM Press. (PDF BibTex)

  81. M. Debbabi, A. Gherbi, L. Ketari, C. Talhi, H. Yahyaoui, and S. Zhioua. Fast and Lightweight Dynamic Compilation by Code Reuse in Embedded Java Virtual Machines. In the Proceedings of Nouvelles Technologies de la Répartition, NOTERE'2004, Pages 116--130, Saidia, Morocco, June 2004. (PDF BibTex)

  82. M. Debbabi and M. Rahman. The War of Presence and Instant Messaging: Right Protocols and APIs. In the Proceedings of the IEEE Consumer Communications and Networking Conference, CCNC'2004, Pages 341--346, Las Vegas, Nevada, USA, January 5-8, 2004, IEEE Press. (PDF BibTex)

  83. M. Debbabi, L. Ketari, and H. Yahyaoui. A Java SIP Interface for Connected Limited Devices. In the Proceedings of Wireless and Optical Communications'2003, Banff, Canada, July 14-17, 2003, Pages 560--565, ISBN 0889863741. (PDF BibTex)

  84. A. Boukhtouta, M. Debbabi and N. Tawbi. A New Paradigm for Decision-Making: Business Intelligence and Digital Cockpits. In Proceedings of the 10th ISPE International Conference on Concurrent Engineering: Research and Applications, July 2003, Pages 1247--1254, Balkema Publishers. (PDF BibTex)

  85. M. Debbabi, J. Desharnais, B. Ktari, F. Michaud and N. Tawbi. A Framework for the Certification of COTS. In Proceedings of SAR'2003, Pages 275--284, June 30--July 4, 2003, Nancy, France. (PDF BibTex)

  86. M. Debbabi, M. Erhioui, L. Ketari, N. Tawbi, H. Yahyaoui, and S. Zhioua. Method Call Acceleration in Embedded Java Virtual Machines. In Proceedings of the International Conference on Computational Science, ICCS'03, Lecture Notes in Computer Science, LNCS, Volume 2659, Pages 750--759, Melbourne, Australia, June 2003, Springer Verlag. (PDF BibTex)

  87. K. Adi and M. Debbabi. A Game Semantics Approach for Security Protocols. In the Proceedings of the International Symposium on Programming and Systems, ISPS'2003, Pages 209--227, May 5--7, 2003, Algiers, Algeria. (PDF BibTex)

  88. M. Debbabi and M. Mejri. Towards the Correctness of Security Protocols. In the Proceedings of Mathematical Foundations of Programming Semantics, MFPS XIX, Pages 213--285, March 2003, Montreal, Canada. (PDF BibTex)

  89. M. Debbabi, M. Rahman, W. Lin, J. Gopal, and K. Sridhar. Standard Java SIP APIs for Presence and Instant Messaging in Mobile Devices. In the Proceedings of the 5th International IEEE Workshop on Networked Appliances, IWNA'2002, Pages 59--64, November 2002, Liverpool, UK, IEEE Press. (PDF BibTex)

  90. J. Bergeron, R. Charpentier, M. Debbabi, J. Desharnais, E. Giasson, B. Ktari, F. Michaud, M. Salois, and N. Tawbi. Secure Integration of Critical Software via Certifying compilers. In the Proceedings of the 13th Annual Canadian Information Technology Security Symposium, Computer Security Establishment CSE, Ottawa, Canada, June 2001. (PDF BibTex)

  91. J. Bergeron, M. Debbabi, J. Desharnais, M. Erhioui, Y. Lavoie and N. Tawbi. Static Detection of Malicious Code in Executable Programs. In the Proceedings of the International Symposium on Requirements Engineering for Information Security SREIS'01, Pages 1--8, March 5-6, 2001, Indianapolis, Indiana, USA. (PDF BibTex)

  92. M. Debbabi, M. Girard, L. Poulin, and M. Salois. Dynamic Monitoring of Malicious Activity in Software Systems. In the Proceedings of the International Symposium on Requirements Engineering for Information Security, Pages 1--15, SREIS'01, March 5-6, 2001, Indianapolis, Indiana, USA. (PDF BibTex)

  93. M. Debbabi and S.Doyon. On the Java Bytecode Verifier. In the Proceedings of the 12th Annual Canadian Information Technology Security Symposium, Computer Security Establishment CSE, Ottawa, Canada, June 19-23, 2000. (PDF BibTex)

  94. M. Debbabi and F. Painchaud. On the Implementation of a Standalone Java Bytecode Verifier. In the Proceedings of the IEEE 9th International Workshop on Enterprise Security, WETICE'2000, National Institute of Standards and Technology NIST, Maryland, USA, June 14-16, 2000, Pages 189--194, IEEE Press. (PDF BibTex)

  95. M. Debbabi, E. Giasson, B. Ktari, F. Michaud, and Nadia Tawbi. Secure Self-Certified Code. In the Proceedings of the IEEE 9th International Workshops on Enterprise Security, WETICE'2000, National Institute of Standards and Technology NIST, Maryland, USA, June 14-16, 2000, Pages 183--188, IEEE Press. (PDF BibTex)

  96. K. Adi, M. Debbabi, and M. Mejri. A New Logic for Electronic Commerce Protocols. In the Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST'2000, Lecture Notes in Computer Science, LNCS, Volume 1816, Pages 499--513, Iowa City, Iowa, USA, May 2000, Springer Verlag. (PDF BibTex)

  97. M. Debbabi and S.Doyon. Verifying Object Initialization in the Java Bytecode Language. In the Proceedings of the ACM Symposium on Applied Computing, ACM SAC'2000, Volume 2, Pages 821--830, Como, Italy, March 19-21, 2000, ACM Press. (PDF BibTex)

  98. M. Debbabi and S.Doyon. On the Java Bytecode Verifier. In the Proceedings of the International Conference on Parallel and Distributed Computing and Systems, PDCS'99, MIT, Boston, USA, November 3-6, 1999. (PDF BibTex)

  99. J. Bergeron, M. Debbabi, M. M. Erhioui, and B. Ktari. Static Analysis of Binary Code to Isolate Malicious Behaviors. In the Proceedings of the IEEE 4th International Workshop on Enterprise Security, WETICE'99, Stanford University, California, USA, June 16-18, 1999, Pages 184--189, IEEE Press. (PDF BibTex)

  100. Y. Al-Salqan, N. Shahmehri, W. Wen, M. Debbabi. Enabling Technologies: Infrastructure for Collaborative Enterprises. In the Proceedings of the International Workshop on Enterprise Security, WETICE'99, Stanford University, California, USA, June 16-18, 1999, Pages 134-135, IEEE Press. (PDF BibTex)

  101. J. Bergeron, M. Debbabi, J. Desharnais, B. Ktari, M. Salois, and N. Tawbi. Detection of Malicious Code in COTS Software: A Short Survey. In the Proceedings of the 1st International Software Assurance Certification Conference, ISACC'99, Washington D.C, USA, March 1999, IEEE Press. (PDF BibTex)

  102. M. Debbabi, A. Benzakour and B. Ktari. A Synergy between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. In the Proceedings of the International Conference on Algebraic Methodology and Software Technology, AMAST'98, Volume 1548, Lecture Notes in Computer Science, LNCS, Manaus, Amazonia, Brazil, January 4-8, 1999, Pages 214--230, Springer Verlag. (PDF BibTex)

  103. M. Debbabi, Y. Légaré and M. Mejri. An Environment for the Specification and Analysis of Cryptoprotocols. In the Proceedings of the IEEE 14th Annual Computer Security Applications Conference, Scottsdale, Phoenix, Arizona, USA, December 7-11, 1998, Pages 321--332, IEEE Press. (PDF BibTex)

  104. M. Debbabi, M. Mejri, N. Tawbi, and I. Yahmadi. Formal Automatic Verification of Authentication Cryptographic Protocols. In the Proceedings of the 1st IEEE International Conference on Formal Engineering Methods, ICFEM'97, Hiroshima International Convention Center, Japan, November 12-14, 1997, Pages 50--59, IEEE Press.(PDF BibTex)

  105. M. Debbabi, M. Mejri, N. Tawbi, and I. Yahmadi. A New Algorithm for the Automatic Verification of Authentication Protocols. In the Proceedings of the International DIMACS Workshop on Design and Formal Verification of Security Protocols, Pages 1--19, DIMACS Center, Core Building, Rutgers University, September 3-5, 1997, New Jersey, USA. (PDF BibTex)

  106. M. Debbabi, M. Mejri, N. Tawbi, and I. Yahmadi. From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. In the Proceedings of the Second International Workshop on Enterprise Security, Pages 256--262, June 18-20, 1997, Massachusetts Institute of Technology (MIT), Cambridge, Massachusetts, USA, IEEE Press. (PDF BibTex)

  107. M. Debbabi, Z. Aidoud, and A. Faour. On the Inference of Structured Recursive Effects with Subtyping. In the Proceedings of the International Workshop on Functional and Logic Programming, Pages 123--142, November 1-4, 1996, Shonan Center, Japan. (PDF BibTex)

  108. D. Bolignano and M. Debbabi. A Coherent Type Inference System for a Concurrent, Functional and Imperative Programming Language. In the Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology, AMAST'93, Pages 153--162, June 1993, Twente, Netherlands. (PDF BibTex)

  109. M. Debbabi and A. Faour and N. Tawbi. A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs. In the Proceedings of the International Workshop on Implementation of Functional Languages, IFL'96, Bonn-Bad-Godesberg, Germany, September 1996, Pages 55-76, ICS Kiel. Also In, Lecture Notes in Computer Science, LNCS, Pages 247--267, Volume 1268, Springer Verlag. (PDF BibTex)

  110. M. Debbabi. From CML to A Model-Based Concurrent Specification Language. In the Proceedings of the International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'96, Pages 1--21, April 1996, Waikiki, Honolulu, Hawaii, USA. (PDF BibTex)

  111. M. Debbabi. Towards a Specification Language over Concurrent ML. In the Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA'95, November 1995, Georgia, USA, Pages 541--550, CSREA Press. (PDF BibTex)

  112. D. Bolignano, M. Debbabi. A Semantic Theory for Concurrent ML. In the Proceedings of the International Symposium on Theoretical Aspects of Computer Software, TACS'94, April 1994, Tohoku University, Sendai, Japan, Lecture Notes in Computer Science, LNCS, Pages 766--785, Volume 789, Springer Verlag. (PDF BibTex)

  113. D. Bolignano, M. Debbabi. A Denotational Model for ML Higher Order Synchronous Primitives. In the proceedings of the North American Process Algebra Workshop, NAPAW'93, August 1993, Cornell University, Ithaca, NY, Bard Bloom Editor, Technical Report, TR93-1369, Cornell University. (PDF BibTex)

  114. D. Bolignano, M. Debbabi. Higher Order Communicating Processes with Value-Passing, Assignment and Return of Results. In the proceedings of the International Symposium on Algorithms and Computation, ISAAC'92, December 1992, Nagoya, Japan, Lecture Notes in Computer Science, LNCS, Pages 319--331, Volume 650, Springer Verlag. (PDF BibTex)

  115. D. Bolignano, M. Debbabi. Sur les aspects dynamiques du typage en ML. In Proceedings of "les Journées Francophones des Langages Applicatifs", JFLA'94, January 1994, Noirmoutiers, France, Pages 53--70, ISBN 2-7261-0824, INRIA Press. (PDF BibTex)

Invited Talks and Tutorials in International Conferences

  1. M. Debbabi. Security Evaluation and Hardening of Free and Open Source Software. Invited talk at the Air Force Software Engineering Workshop, December 8th 2010.

  2. M. Debbabi. Safe Surfing: Online Privacy versus Global Security. Invited talk, Speaker Series, Marianopolis College, November 24th 2010.

  3. M. Debbabi. NCFTA Canada: Accomplishments and Future Endeavors. Invited talk at the E-Crimes Summit, November 17th 2010.

  4. M. Debbabi. NCFTA Canada: Background, Activities and Accomplishments. Invited talk at the Digital Crime Consortium, October 14th 2010.

  5. M. Debbabi. Cyber Forensics: Challenges and Techniques. Invited talk at the 8th Annual Conference on Privacy, Security and Trust (PST 2010), August 18th, 2010.

  6. M. Debbabi. Fighting cybercrime: emerging threats, challenges, trends, and solutions. Invited talk at the Crystal Ball Conference, April 8th 2010.

  7. M. Debbabi, F. Painchaud, B. Ktari. Secure Integration of Critical Software via Certifying Compilers. Tutorial at the 13th Annual Canadian Information Technology Security Symposium, Computer Security Establishment CSE, Ottawa, Canada, June 2001.

  8. M. Debbabi, M. Girard, M. Salois. Dynamic Monitoring of Malicious Activity in Software Systems. Tutorial at the 13th Annual Canadian Information Technology Security Symposium, Computer Security Establishment CSE, Ottawa, Canada, June 2001.

  9. M. Debbabi and D. Bolignano. On the Semantic Foundations of RSL: a Concurrent, Functional and Imperative Specification Language. Tutorial at the 6th International Conference on Formal Description Techniques, FORTE'93, October 1993, Boston, Massachusetts, USA (a 4 hours tutorial).

  10. M. Debbabi. The RSL Semantics Course. (Based on the deliverable from the work-package 2.4.8, LaCoS Esprit Project, document LACOS/Bull/MD/3/V1 2.4.8, 343 Pages). A 30 hours course, prepared and presented twice: First presentation: March 1993 Paris, France. Second presentation: April 1993 Copenhagen, Denmark.

 
This page has been visited Free Hit Counter times.
Web Counters