Kamel Adi,    Ph.D. (Université Laval) English

Thèmes de recherche :

Langages et sémantiques formelles, sécurité informatique, commerce électronique, génie logiciel, spécifications algébriques, réécriture et surréduction, théorie des catégories.

Publications:

• Allez voir la liste des productions dans cette page

Cours enseignés au cours des deux dernières années :

• INF1433  Initiation à la sécurité informatique  (Aut 2017)
• GEN1273  Modélisation et simulation  (Aut 2018)
• INF1433  Initiation à la sécurité informatique  (Aut 2018)
• INF6233  Sécurité informatique et méthodes formelles  (Aut 2018)

Stagiaires postdoctoraux :

• Yacine Bouzida (2008-2009)

Étudiants ayant terminé :

• Sofiene Boulares,  Approche basée sur les flux d’informations pour le calcul du risque dans les systèmes de contrôle d'accès. (2018, Ph.D., codirecteur)
• Liviu Pene,  Consolidation de la sécurité de réseaux avec les languages de spécification dévoués pour des pares-feu distribués et des grappes. (2018, Ph.D.)
• Fatiha Djebbar,  Architecture logicielle distribuée pour un système d'instrumentation générique et temps réel basé sur la nouvelle génération des senseurs photoniques (2003, M.Sc., codirecteur)
• Adnane El Kabbal,  Un Système de Types pour l'Analyse des Pare-feux (2005, M.Sc.)
• Luke Sullivan,  La correction des protocoles de non-répudiation. (2006, M.Sc.)
• Liviu Pene,  Méthodes formelles pour la correction des protocoles de sécurité (2004, M.Sc.)
• Ibrahim Keita,  Sécurité des services Web: restauration d'un message SOAP après détection d'une attaque par enveloppement sur un élément signé. (2010, M.Sc.)
• Ikhlass Hattak,  Analyse formelle des politiques de sécurité (2010, M.Sc.)
• Madjid Ouharoun,  Technologies de détection d'intruision. (2010, M.Sc.)
• Hassen Khalifa,  Détection des anomalies entre les contraintes dans les politiques de contrôle d'accès (2013, M.Sc., codirecteur)
• Sourour Jemili,  Analyse de risques dans les systèmes de contrôle d'accès. (2013, M.Sc.)
• Bone Maboudou,  Un environnement pour la modélisation des systèmes de contrôle d'accès. (2015, M.Sc.)
• Christian Mbizi,   (2018, M.Sc.)
• Luc Séguin,   (2018, M.Sc.)

Étudiants en cours de supervision :

• Christian Bucur,  Contrôle d'accès aux données. (Doctorat, codirecteur)
• Ikhlass Hattak,  Gestion de l'identité dans les architectures orientées services. (Doctorat)
• Nadjate Saïdani,  Analyse sémantique de contenu multimédia. (Doctorat)
• Myria Bouhaddi,   (Doctorat)
• Oussama Hattack,  Développement et évaluation d'une application pour analyser les politiques de contrôle d'accès aux données dans un système d'information. (Maîtrise, codirecteur)