Le prochain séminaire du laboratoire CEDRIC aura lieu le mercredi 28 mai prochain à partir de 14h. Il sera organisé par l’équipe OC, et les deux orateurs seront Christophe Picouleau et Dimitri Watel (salle à préciser).

Titre : De la reconstruction de graphes et hypergraphes.

Résumé : De nombreux problèmes consistent à vouloir reconstruire une structure, ici un graphe ou un hypergraphe, à partir d’une information partielle concernant cette structure. Parmi ces informations citons de manière non exhaustive : des projections de matrices d’adjacentes, des séquences de degrés, la structure complète ou non des voisinages de sommets ou d’arêtes. On peut voir cette information partielle comme une requête sur le graphe, ou comme une connaissance imparfaite car vue à travers une transformation du graphe. Nous allons monter deux exemples caractéristiques de tels problèmes. 

Le premier consiste, connaissant une information partielle provenant d’un (hyper)graphe, à déterminer s’il existe au moins deux (hyper)graphes qui peuvent correspondre à ces informations. Par exemple, deux graphes k-réguliers de même taille donneront la même séquence des degrés, il n’y a donc pas unicité dans ce cas. On dit qu’il ne sont pas reconstructibles de manière unique par la requête « séquence des degrés ». La reconstruction de manière unique est importante car elle assure que l’information, même partielle, est suffisante pour reconstruire tout le graphe sans ambiguïté. La présentation se concentrera sur un type de requête bien particulier: pour chaque triplet de sommets d’un graphe, nous savons si un des trois est relié aux deux autres, mais que ces deux autres ne sont pas reliés. Autrement dit, ces 3 sommets forment une chaîne. Nous expliquerons les idées clefs permettant de déduire les graphes reconstructibles de manière unique pour cette requête.

Le second consiste, connaissant une information partielle, à déterminer s’il existe au moins un (hyper)graphe qui correspond à ces informations. Etant donné un hypergraphe le graphe d’intersection de ses hyperarêtes a pour ensemble sommets les hyperarêtes et deux sommets sont reliés  si les deux hyperarêtes s’intersectent. Ceci généralise la notion de line-graphe pour le cas des graphes simples. Le problème de reconstruction associé consiste alors, étant donné un graphe  décider s’il peut-être le graphe d’intersection d’un hypergraphe.  Pour le cas de line-graphes le problème est bien résolution, à la fois structurellement et algorithmiquement. Il en va tout autrement pour les hypergraphes même dans le cas d’hypergraphes 3-uniformes (chaque hyperarête contient 3 sommets). Nous donnerons quelques résultats de nature algorithmique pour les graphes de 2-intersection (intersection par au moins 2 sommets) d’hypergraphes 3-uniformes.

.

Le prochain séminaire de l’équipe MSDMA aura lieu le jeudi 27 mars prochain de 11h à 12h. Voici les informations concernant ce séminaire :

Orateur : Arnaud Breloy (CNAM)

Titre : Saveurs d’ACP parcimonieuse : de l’optimisation au taux de fausse alarme.

Résumé : L’ACP parcimonieuse vise a factoriser les données par une projection linéaire utilisant une fraction réduite des variables originelles. On présentera d’abord un panorama des méthodes en question, en se focalisant sur la problématique du design d’une fonction objectif, et les différentes techniques d’optimisation pour les minimiser. Dans ce formalisme générique, le choix du paramètre de régularisation pilotera alors toujours un compromis entre le taux de parcimonie (nombre de variables originelles sélectionnées) et l’adéquation au données (en général, la variance expliquée). Dans une tentative de dépassement de ce compromis, on présentera enfin une méthodes d’ACP parcimonieuse qui cherche a maximiser le nombre de variables sélectionnées pour un taux de fausse alarme contrôlé.

Informations pratiques : Il y a la possibilité de participer au séminaire en visioconférence par TEAMS, via le lien suivant : https://teams.microsoft.com/l/meetup-join/19:kQfe6OSP6tZPuBhLrmoo97CWuv-o7bBahHBMCDsq2SY1@thread.tacv2/1741018305356?context=%7B%22Tid%22:%22b323bcb4-6d58-4f25-87bf-6366c3d689af%22,%22Oid%22:%223ddf4028-69ea-4940-8f8a-d959b698db0e%22%7D

Lieu : Cnam Paris, 2 rue conté, salle 35.1.45 (accès 35, premier étage).

Le prochain séminaire du laboratoire CEDRIC aura lieu le vendredi 7 mars prochain de 14h à 17h. Il sera organisé par l’équipe ROC, et nous accueillerons Sara Tucci, directrice du CEA List, dans l’amphithéâtre Robert Faure (Z) du CNAM.

Title: Understanding the Ethereum’s Proof-of-Stake Protocol.

Abstract: Ethereum’s recent upgrade, known as the Merge, transitioned the blockchain to a Proof-of-Stake model, introducing an original consensus protocol that combines elements of both Nakamoto-style and Byzantine Fault Tolerance designs. This shift led to a complex protocol that, at the time of implementation, was only partially documented. In this talk, I will present our analysis of Ethereum’s Proof-of-Stake protocol, examining its safety, liveness, and incentive compatibility across various network models. Our findings reveal that, in an eventually synchronous network without participant churn, Ethereum’s Proof-of-Stake protocol ensures safety but achieves only probabilistic liveness. Moreover, with the inclusion of the Inactivity Leak mechanism—which removes inactive validators—we identified potential safety vulnerabilities. Finally, we demonstrate that the protocol ensures incentive compatibility in a synchronous setting and achieves eventual incentive compatibility in an eventually synchronous environment.

Son exposé sera suivi par un exposé de Billel Hakem, doctorant dans l’équipe ROC.

Title: Synthetic data generation for predictive maintenance.

Abstract: Predictive maintenance aim at detecting anomalies and predictive the remaining useful life of industrial systems using sensor data and deep learning algorithms. Due to concern of data privacy and data scarcity, there’s a need to explore alternate alternative to acquire enough data for predictive maintenance systems. We propose a physical simulation for data generation and a test on a diagnosis and prognosis task.

Il y aura également une session de « brainstorming », et une session de posters.

Le prochain séminaire de l’équipe MSDMA aura lieu le vendredi 28 février prochain de 11h à 12h. Voici les informations concernant ce séminaire :

Orateur : Camille Frévent (Université de Lille)

Titre : Utilisation des signatures pour les modèles de régression spatiale avec covariables fonctionnelles.

Résumé : Nous proposons une nouvelle approche du modèle fonctionnel spatial autorégressif, basée sur la notion designature. Celle-ci représente une fonction comme une série infinie de ses intégrales itérées et présente l’avantage d’être applicable à une large gamme de processus. Après avoir fourni des garanties théoriques du modèle proposé, nous avons montré, au travers d’une étude par simulation ainsi que sur un jeu de données réelles, que cette nouvelle approche présente des performances compétitives par rapport au modèle usuel.

Informations pratiques : Il y a la possibilité de participer au séminaire en visioconférence par TEAMS : lien : https://teams.microsoft.com/l/meetup-join/19%3akQfe6OSP6tZPuBhLrmoo97CWuv-o7bBahHBMCDsq2SY1%40thread.tacv2/1738587592225?context=%7b%22Tid%22%3a%22b323bcb4-6d58-4f25-87bf-6366c3d689af%22%2c%22Oid%22%3a%223ddf4028-69ea-4940-8f8a-d959b698db0e%22%7d

Lieu : Cnam Paris, 2 rue conté, salle 35.1.53 (accès 35, premier étage).

M. Lyes Khoukhi viendra faire un séminaire au CNAM le lundi 3 mars prochain à 11h.

Voici quelques informations concernant ce séminaire.

Titre : New vision of trust in connected networks: secure behavioral models.

Résumé : Dealing with trust challenges in connected networks remains as one of the serious security hot topics because of the new nature of attacks. Recently, there has been a huge increase in the number of threats and cyber attacks on critical connected networks/infrastructures (like V2X, IoT and 5G, Cloud, and Smart grids); these attacks continue to grow at a rapid rate and cause huge damage at both end-users and data/network operators sides. Several efforts have been conducted by both industry and academia to propose countermeasures solutions, but some of them still suffering from either non scalability or limitive risks hypotheses.

In this seminar, we present a new vision of trust in connected networks by presenting a set of behavioral-based models to mitigate attacks in connected networks showing the need to cope with the new emerging threats, ranging from data leakage to collaborative attacks. Our models are not limited by the need of new attack patterns/signatures (to prevent them to fall within zero-day threat). We also present the future vision of securing connected networks while respecting the standards requirements.

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

A propos : Lyes Khoukhi is Full Professor of cybersecurity at ENSICAEN (with CNRS GREYC UMR laboratory), Caen, France. He received his Ph.D. degree in computer engineering from the University of Sherbrooke, Canada, in 2006. Between 2007 and 2008, he was a researcher with the Department of Computer Science and Operations Research, University of Montreal in collaboration with Bell-Canada. In 2008, he also worked for Dialexia Corporation-Montreal, in the development of safe communications solutions. In 2009, he joined UTT -University of Technology of Troyes- as assistant professor, where he became Full professor at 2018. Since 2020, he joined, as Full professor, ENSICAEN, Normandie University where he is involved in several responsabilities and collective works. His research interests include conception of defense lines, prediction and attacks detection, malicious behaviors modeling and privacy preserving. His target areas are IoT, V2X, MEC, and 5G/6G. He has participated as a General chair or program chair for many conferences (like IEEE LCN, IEEE ICC Symposiums). He is the Guest Editor of special issues, like Springer journal of Annals of Telecommunications of the SI (Internet of Vehicles & Smart City)-2020, about security and protocols issues in V2X. He is also the SIG leader of « Machine Learning for IoT and ad hoc networks » of the IoT ASHN ComSoc Committee of IEEE Communications Society.

M. Christophe Guyeux viendra faire un séminaire au CNAM le lundi 3 mars prochain à 10h.

Voici quelques informations concernant ce séminaire.

Titre : Un cadre particulier pour des propriétés désirées dans les systèmes contraints : une approche topologique pour l’IoT.

Résumé : Il n’est pas toujours possible de déployer des algorithmes prouvés cryptographiquement sûrs, du moins tels qu’ils devraient l’être rigoureusement, par exemple dans certaines situations sous contraintes où les ressources sont limitées. Des comportements spécifiques de ces systèmes, permettant d’atteindre une certaine sécurité, sont pourtant désirés et recherchés (mélange ou ergodicité, pseudo-aléa, expansivité…), et l’on aimerait pouvoir comparer des algorithmes de la litérature entre eux, à l’aune de ces propriétés et dans ces contextes particuliers. Nous avons développé une approche concrète permettant de fournir un cadre à ces propriétés, rendant possible leur évaluation quand l’approche cryptographique habituelle n’est pas complètement appropriée, tout en restant compatible avec cette dernière.

Dans ce séminaire, nous verrons ce qu’une telle approche héritée des systèmes dynamiques peut apporter, dans des contextes tels que les réseaux sans fil ad hoc. Nous évoquerons par exemple certaines garanties de couverture même en présence de mises en veille, la diffusion d’informations dans le réseau, la transmission réussie d’un noeud quelconque au puits, ou l’insuccès dans des attaques type trou noir ou par suppression de noeuds…

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

A propos : Christophe Guyeux est professeur au laboratoire FEMTO-ST, Département Informatique des Systèmes Complexes à l’Université Marie et Louis Pasteur (ex. Univ. de Franche-Comté) depuis 2014. Ses travaux portent principalement sur la sécurité informatique, l’intelligence artificielle et les réseaux de capteurs, avec une approche souvent interdisciplinaire. Ses recherches tendent à l’utilité pratique, se concrétisant notamment dans la direction d’un interreg sur l’IoT pour les sapeurs-pompiers, et d’un laboratoire commun public-privé (ANR LabCom) pour l’industrialisation de solutions à base d’IA pour la sécurité civile et la santé.

Ce prix IEEE a été annoncé cette semaine lors de la conférence Globecom 2023 à Kuala-Lumpur, Malaisie. Il récompense son activité dans les congrès mais également dans les meetings IEEE qu’il a animés (IEEE SDN Initiative, Idustry Outreac Board, Industry Community Board et autres Steering Committees). . 

Le contrat de post-doctorat (12 mois à mi-temps) est effectué sur la période d’un projet de recherche collaborative avec un studio de développement de jeu vidéo dans le cadre des financements France 2030 visant à analyser l’état de l’art universitaire et les pratiques professionnelles du jeu vidéo concernant la génération procédurale de contenus narratifs, à évaluer des techniques de génération procédurale de narration existantes et à développer des guidelines pour les techniques de génération procédurale de narration. Contacter Stéphanie Mader ou Axel Buendia (nom.prénom@lecnam.net).