• Accueil
  • Accueil
  • Accueil
  • Accueil

CNRS

Rechercher




Accueil > Équipes > R3S > Séminaires R3S > Séminaires R3S 2021

Séminaires R3S présentés par Kaïs Klai et Eric Totel, le 26/04/2021 à 14h et 15h

L’équipe R3S du laboratoire Samovar vous invite à un séminaire présenté par Kaïs Klai (MC au Laboratoire Informatique de Paris Nord (LIPN) à l’Institut Galilée), et Eric Totel (professeur à IMT-Atlantique) le lundi 26 avril 2021.

**************************************************************************************

Séminaire présenté par Kaïs Klai, maître de Conférences au Laboratoire Informatique de Paris Nord (LIPN) à l’Institut Galilée

Quand : Le lundi 26 avril 2021 à 14h00
Moyen : Webconf via le lien https://webconf.imt.fr/frontend/bad-yvk-kbx-xxe

Lien vidéo de la présentation : https://bbb-node.imtbs-tsp.eu/playback/presentation/2.0/playback.html?meetingId=6b6cbbf793d1b21cdf74e21ae6bc987d0a1667a5-1619437127983

Titre : Modélisation et vérification formelles : contributions et application à la sécurité des systèmes.

Résumé :
Dans cet exposé, je présenterai une de mes contributions dans le domaine de la vérification formelle de systèmes critiques : Le graphe d’observation symbolique (SOG) : une abstraction du graphe d’états qui préserve les propriétés temporelles insensibles au bégaiement (stuttering-invariant). Ensuite, je présenterai l’utilisation des SOGs pour la vérification, la supervision et le contrôle de l’opacité qui est une classe de propriétés de flots d’information (c’est une généralisation de plusieurs propriétés de sécurité telles que la non-interférence, l’anonymat, le secret, etc). Je finirai cet exposé par un travail en cours sur l’utilisation d’une approche formelle pour la vérification des processus dans le Blockchain.

Bibliographie :
Kaïs Klai a obtenu un diplôme d’ingénieur en informatique à la Faculté des Sciences de Tunis suivi d’un DEA et d’une thèse à l’Université Pierre est Marie Curie (Sorbonne Université). Il est, depuis 2006, maître de Conférences (HDR depuis 2013) au Laboratoire Informatique de Paris Nord (LIPN) à l’Institut Galilée, Université Sorbonne Paris Nord. Il est le Président du département Informatique de l’Institut Galilée et le responsable de l’axe « spécification et vérification modulaires et distribuées » de l’équipe Logique et Vérification (LoVe) du LIPN. Son thème de recherche concerne les approches de modélisation et de vérification formelles des systèmes concurrents et l’adaptation/application de ces approches à des domaines spécifiques (Processus métier, Services web, Cloud, Diagnostic, IoT, Sécurité, Blockchain, etc).

********************************************************************************************

Séminaire présenté par Eric Totel, professeur à IMT-Atlantique.

Quand : le lundi 26/04/2021 à 15h00
Moyen : Webconf via le lien https://webconf.imt.fr/frontend/bad-yvk-kbx-xxe

Lien vidéo de la présentation : https://bbb-node.imtbs-tsp.eu/playback/presentation/2.0/playback.html?meetingId=6b6cbbf793d1b21cdf74e21ae6bc987d0a1667a5-1619441832806

Titre : Helping the analyst to understand logged events in a monitored distributed system”.

Résumé :
Dans les SOCs (Security Operation Center), les analystes sont confrontés à une masse de données qui rendent difficile l’analyse et la découverte de nouvelles attaques. Dans cette pésentation, nous aborderons comment mettre en place des méthodes d’analyse permettant de réduire le nombre d’alertes, et de montrer à l’analyste des événements/alertes pertinents

Biographie :
Eric Totel, professeur à IMT-Atlantique, en congé de mobilité de CentraleSupelec, a obtenu son diplôme d’ingénieur ENSEEIHT en 1994, son doctorat de l’Institut National Polytechnique de Toulouse en 1998, et son Habilitation à diriger des recherches de l’université de Rennes. Ses thèmes de recherche tournent autour de la supervision de sécurité au sens large : détection d’intrusion, corrélation d’alertes, génération automatique de règles de corrélation et découvertes d’attaques dans des systèmes distribués.