Research Supervision

More than 60 graduate students successfully completed their M.Sc./Ph.D. theses under my supervision.

Post Doctoral Fellows who worked under my supervision:

1. R. Hadjidj
2. C. Talhi
3. H. Yahyaoui

Ph.D. Students who graduated under my supervision:

1. M. Mejri (2000):
   • Thesis topic: From Type Theory to the Verification of Security Protocols
   • Current occupation: Associate Professor at the Computer Science Department of Université Laval, Quebec, Canada
2. K. Adi (2002):
   • Thesis topic: Formal Specification and Analysis of Security Protocols
   • Current occupation: Professor at the Computer Science Department of Université Laval, Quebec, Canada
3. B. Ktari (2003):
   • Thesis topic: Security Certification of Software Components
   • Current occupation: Associate Professor at the Computer Science Department of Université Laval, Quebec, Canada
4. H. Yahyaoui (2006):
   • Thesis topic: Acceleration and Semantic Foundations of Embedded Java Platforms
   • Current occupation: Assistant Professor at Kuwait University, Kuwait
5. C. Talhi (2007):
   • Thesis topic: Memory Constrained Security
   • Current occupation: Assist Professor, Montreal, Quebec, Canada
6. L. Ketari (2007):
• Thesis topic: "Accélération de plates-formes Java embarquées : Techniques et cadre formel"
• Current occupation: Assistant Professor at King Saud University, KSA
7. M. Saleh (2008):
   • Thesis topic: Game Semantics for the Specification and Analysis of Security Protocols
   • Current occupation: Assistant Professor, Alexandria University, Egypt
8. H. Otrok (2008):
   • Thesis topic: Mechanism Design and Game Theoretical Models for Intrusion Detection
   • Current occupation: Assistant Professor at KUSTAR University, UAE.
9. A. Mourad (2008):
   • Thesis topic: An Aspect-Oriented Framework for Systematic Security Hardening of Software
   • Current occupation: Assistant Professor at Lebanese American University, Lebanon
10. N. Belblidia (2008):
• Thesis topic: An Aspect Oriented Approach for Security Hardening: Semantic Foundations
• Current occupation: TBA
11. S. Tlili (2009):
    • Thesis topic: Automatic Detection of Safety and Security Vulnerabilities in Open Source Software
    • Current occupation: TBA
12. D. Alhadidi (2010):
• Thesis topic: Theoretical and Practical Framework for Aspect-oriented Security Hardening
• Current occupation: TBA

Awards Received by my Students:

• Canada Governor Medal:
  • Frédéric Painchaud
  • Stéphane Doyon
• Information Technology Award from the President of the Tunisian Republic:
  • Myriam Fourati
• Honor Board of the Dean of Graduate Studies, Laval University:
  • E. Giasson
  • Z. Aidoud
  • S. Doyon
  • A. Faour
  • M. Fourati
  • F. Massicotte
  • M. Mejri
  • F. Painchaud
  • I. Yahmadi
  • Etc.

Some Students who Graduated under my Supervision:

1. Adi, K. (Ph.D.)
2. Alawneh, L. (M.Sc.)
3. Arasteh, A. R. (M.Sc.)
4. Aïdoud, Z. (M.Sc.)
5. Alhadidi, D. (Ph.D.)
6. Alikacem, E. (M.Sc.)
7. Belblidia, N. (Ph.D.)
8. Benredjem, D. (M.Sc.)
9. Benssam, A. (M.Sc.)
10. Benzakour, A. (M.Sc.)
11. Bouguerch, F. (M.Sc.)
12. Boukhtouta, A. (M.Sc.)
13. Briard, V. (M.Sc.)
14. Doyon, S. (M.Sc.)
15. Erhioui, M. (M.Sc.)
16. Faour, A. (M.Sc.)
17. Fourati, M. (M.Sc.)
18. Giasson, E. (M.Sc.)
19. Girard, M. (M.Sc.)
20. Hadjidj, R. (Postdoctoal fellow)
21. Idrissi, H. (M.Sc.)
22. Issa, H. (M.Sc.)
23. Ketari, L. (Ph.D.)
24. Ktari, B. (M.Sc.)
25. Ktari, B. (Ph.D.)
26. Laverdière, M-A. (M.Sc.)
27. Lavoie, Y. (M.Sc.)
28. Légaré, Y. (M.Sc.)
29. Ling, H. Z. (M.Sc.)
30. Massicotte, F. (M.Sc.)
31. Mehrandish, M. (M.Sc.)
32. Mejri, M. (M.Sc.)
33. Mejri, M. (Ph.D.)
34. Menif, E. (M.Sc.)
35. Michaud, F. (M.Sc.)
36. Mitrovic, M. (M.Sc.)
37. Mohammed, N. (M.Sc.)
38. Molière, M. (M.Sc.)
39. Mourad, A. (M.Sc.)
40. Mourad, A. (Ph.D.)
41. Otrok, H. (Ph.D.)
42. Painchaud, F. (M.Sc.)
43. Poulin, L. (M.Sc.)
44. Ray, S. (M.Sc.)
45. Rodrigue, J-F. (M.Sc.)
46. Sakha, A. (M.Sc.)
47. Saleh, M. (Ph.D.)
48. Shahi, P. (M.Sc.)
49. Soeanu, A. (M.Sc.)
50. Talhi, C. (Ph.D.)
51. Talhi, C (Postdoctoal fellow)
52. Tlili, S. (Ph.D.)
53. Venkataiahgari, A. K. (M.Sc.)
54. Yahmadi, I. (M.Sc.).
55. Yahyaoui, H. (M.Sc.)
56. Yahyaoui, H. (Ph.D.)
57. Yahyaoui, H. (Postdoctoal fellow)
58. Yang, Z. (M.Sc.)
59. Yang, X. (M.Sc.)
60. Zhioua, S. (M.Sc.)