Mourad Debbabi

Mourad Debbabi is a Full Professor and the Director of the Concordia Institute for Information Systems Engineering, Concordia University, Montreal, Quebec, Canada. He holds the Concordia University Research Chair Tier I in information systems security. He is the founder and one of the leaders of the Computer Security Laboratory (CSL) at Concordia University. He is the Specification Lead of four standard JAIN (Java intelligent networks) Java Specification Requests (JSRs) dedicated to the elaboration of standard specifications for presence and instant messaging. In the past, he served as a Senior Scientist at the Panasonic Information and Network Technologies Laboratory, Princeton, USA; an Associate Professor at the Computer Science Department of Laval University, Quebec, Canada; a Senior Scientist at General Electric Research Center, USA; a Research Associate at the Computer Science Department of Stanford University, USA; and a Permanent Researcher at the Bull Corporate Research Center, Paris, France. Dr. Debbabi holds Ph.D. and M.S. degrees in computer science from Paris-XI Orsay University, France. He published more than 130 research papers in journals and conferences on computer security, formal semantics, Java security and acceleration, cryptographic protocols, malicious code detection, programming languages, type theory and specification, and verification of safety-critical systems. He supervised to completion more than 50 graduate students at the M.S. and Ph.D. levels.

Biography Updated on 4 June 2008

Personal Home Page

http://users.encs.concordia.ca/~debbabi

Articles in Scholarly Journals [Incomplete List]

  1. A game-theoretic intrusion detection model for mobile ad hoc networks
    Computer Communications, vol. 31, no. 4, pp. 708–721, 2008
  2. Game theoretic models for detecting network intrusions
    Computer Communications, 2008
  3. Execution monitoring enforcement under memory-limitation constraints
    Information and Computation, vol. 206, no. 2-4, pp. 158–184, 2008
  4. What middleware for network centric operations?
    Knowledge-Based Systems, vol. 20, no. 3, pp. 255–265, 2007
  5. Forensic analysis of logs: Modeling and verification?
    Knowledge-Based Systems, vol. 20, no. 7, pp. 671–682, 2007
  6. Forensic memory analysis: From stack and code to execution history?
    Digital Investigation, vol. 4, pp. 114–125, 2007
  7. Analyzing multiple logs for forensic evidence?
    Digital Investigation, vol. 4, pp. 82–91, 2007
  8. A selective dynamic compiler for embedded Java virtual machines targeting ARM processors
    Science of Computer Programming, vol. 59, no. 1-2, pp. 38–63, 2006
  9. Accelerating embedded Java for mobile devices
    IEEE Communications Magazine, vol. 43, no. 9, pp. 80–85, 2005
  10. A new logic for electronic commerce protocols
    Theoretical Computer Science, vol. 291, no. 3, pp. 223–283, 2003
  11. Abstract Interpretation for Proving Secrecy Properties in Security Protocols
    Electronic Notes in Theoretical Computer Science, vol. 55, no. 1, pp. 25–50, 2003
  12. On object initialization in the Java bytecode
    Computer Communications, vol. 23, no. 17, pp. 1594–1605, 2000
  13. Information Control Nets as Processes: Qualitative Analysis
    Concurrent Engineering, vol. 5, no. 1, pp. 47–57, 1997
  14. Parallel Processing Letters, vol. 7, no. 3, p. 329, 1997
  15. From CML to a Model-Based Concurrent Specification Language
    Concurrent Engineering, vol. 4, no. 2, pp. 137–148, 1996