Prochains séminaires
M. Christophe Guyeux et M. Lyes Khoukhi viendront faire un séminaire au CNAM le lundi 3 mars prochain à 10h et 11h, respectivement.
Voici quelques informations concernant ces séminaires.
Orateur : M. Christophe Guyeux (lundi 3 mars 2025 à 10h).
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é.
Orateur : M. Lyes Khoukhi (lundi 3 mars 2025 à 11h).
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.
Séminaire du laboratoire
Tous les 3 mois environ une des 8 équipes du laboratoire prend en charge une session du séminaire du laboratoire, sous la forme d’un exposé de vulgarisation en lien avec les thématiques de l’équipe.
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.
[events_list scope= »future » order= »desc » category= »seminaire-cedric »]