Luigi Logrippo,    Ph.D. (University of Waterloo) English

Thèmes de recherche :

Méthodes formelles avec application à la conception de logiciels dans les domaines suivants : protocoles de communication; sécurité et contrôle d'accès; fonctionnalités avancées dans Voix sur IP, interaction de fonctionnalités; commerce électronique; systèmes normatifs, leur analyse logique.

Publications:

• Allez voir la liste des productions dans cette page

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

• INF9073  Séminaire en sciences et technologies de l'information  (Hiv 2017)
• INF3723  Systèmes d'exploitation  (Aut 2017)
• INF1153  Cybercriminalité et techniques d'investigation  (Hiv 2018)
• INF6153  Système de contrôle d'accès aux données  (Hiv 2018)
• INF3723  Systèmes d'exploitation  (Aut 2018)
• INF1153  Cybercriminalité et techniques d'investigation  (Hiv 2019)
• INF6203  Méthodes formelles pour le développement de logiciels  (Hiv 2019)
• INF9073  Séminaire en sciences et technologies de l'information  (Hiv 2019)

Stagiaires postdoctoraux :

• Yacine Bouzida (2008-2009)

Étudiants ayant terminé :

• Omar Abahmane,  Contrôle de flux d'informations basé sur la granularité. (2015, Ph.D.)
• Jamal Abd-Ali,  Spécification des exigences de contrôle d’accès en modèles. (2017, Ph.D., codirecteur)
• 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.)
• Mahdi Mankai,  Vérification et analyse des politiques de contrôle d'accès : Application au langage XACML (2006, M.Sc.)
• Ahmed Fahdel Layouni,  Méthode formelle de détection d'interactions pour les politiques du contrôle d'appel téléphonique (2007, M.Sc.)
• Gregory Estienne,  Les fonctionnalités de présence en VoIP Programmation de services sensibles au contexte en téléphonie sur IP (2008, M.Sc.)
• Ikhlass Hattak,  Analyse formelle des politiques de sécurité (2010, M.Sc., codirecteur)
• Soufiene Boulares,  Méthodes formelles pour contrôle d'accès. (2010, M.Sc.)
• Yakine Layouni,  Détection des conflits dans les politiques de contrôle d'accès (2010, M.Sc.)
• Hassen Khalifa,  Détection des anomalies entre les contraintes dans les politiques de contrôle d'accès (2013, M.Sc.)
• Sourour Jemili,  Analyse de risques dans les systèmes de contrôle d'accès. (2013, M.Sc., codirecteur)
• Bone Maboudou,  Un environnement pour la modélisation des systèmes de contrôle d'accès. (2015, M.Sc., codirecteur)

Étudiants en cours de supervision :

• Christian Bucur,  Contrôle d'accès aux données. (Doctorat)
• Isnino Ibrahim Ahmed,,  Contrôle d'accès aux données. (Doctorat)
• Ikhlass Hattak,  Gestion de l'identité dans les architectures orientées services. (Doctorat, codirecteur)
• Agoh Josue Beke,  À déterminer (Doctorat)
• Abdelouadoud Stambouli,  À déterminer (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)