Séminaire Algorithmique : Josselin Guéneron (GREYC) « Repeated Stochastic Coalition Formation: representations and algorithmic approaches »
Sciences 3- S3 351Coalition formation is a cooperative game theory framework in which a set of agents, required to perform implicit or explicit tasks, must be divided into subgroups (called coalitions), according to … Continue reading Séminaire Algorithmique : Josselin Guéneron (GREYC) « Repeated Stochastic Coalition Formation: representations and algorithmic approaches »
Séminaire Image : « Multi-modal Identity Extraction », Ryan Webster
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Ryan Webster, post-doctorant à l'INRIA Rennes. Il donnera un séminaire IMAGE le jeudi 24 avril 2025 à 14h en salle de séminaire F-200. Titre : … Continue reading Séminaire Image : « Multi-modal Identity Extraction », Ryan Webster
Séminaire Algorithmique : Nicolas Bitar (LAMFA, Univ. Picardie), « Subshifts of finite type and quasi-isometries beyond groups »
Sciences 3- S3 351In 1964, R. Berger proved the existence of strongly aperiodic subshifts of finite type (SFT) on $\mathbb{Z}^2$, and used them to prove the undecidability of the Domino Problem. With the … Continue reading Séminaire Algorithmique : Nicolas Bitar (LAMFA, Univ. Picardie), « Subshifts of finite type and quasi-isometries beyond groups »
Tristan Benoît – Approche multimodale pour la génération de noms de fonctions à partir du code binaire
Sciences 3- S3 351La compréhension du code binaire est cruciale en rétro-ingénierie. Usuellement, des bases de fonctions servent à identifier dans un binaire les fonctions proches de références connues. Cependant, souvent les projections … Continue reading Tristan Benoît – Approche multimodale pour la génération de noms de fonctions à partir du code binaire
Mengce Zheng – Lattice-based solving strategy using Coppersmith’s techniques and its applications
Sciences 3- S3 351Lattice-based cryptanalysis using Coppersmith's techniques has emerged as a powerful approach to compromising the security of several cryptographic algorithms under specific conditions. This talk will provide an exploration of the … Continue reading Mengce Zheng – Lattice-based solving strategy using Coppersmith’s techniques and its applications
Victor Mollimard – Partial Sums Meet FFT: Improved Attack on 6-roued AES
Sciences 3- S3 351The partial sums cryptanalytic technique was introduced in 2000 by Ferguson et al., who used it to break 6-round AES with time complexity of $2^{52}$ S-box computations -- a record … Continue reading Victor Mollimard – Partial Sums Meet FFT: Improved Attack on 6-roued AES
Séminaire Algorithmique : « Enumeration of some families of chordal graphs », Jordi Castellvi (Univ. Barcelone, Espagne)
Sciences 3- S3 351A graph is chordal if it has no induced cycle of length greater than 3. Alternatively, Dirac proved that a graph is chordal if and only if every minimal separator … Continue reading Séminaire Algorithmique : « Enumeration of some families of chordal graphs », Jordi Castellvi (Univ. Barcelone, Espagne)
Abdelhamid Garah – Gestion autonome des services de sécurité dans l’Internet des objets
En distancielL’Internet des objets (IoT : Internet of Things) et ses applications sont devenus indispensables dans notre vie quotidienne. Cependant, la croissance rapide des systèmes IoT a engendré d’importants défis en … Continue reading Abdelhamid Garah – Gestion autonome des services de sécurité dans l’Internet des objets
Amine Bouchiha – Vers un Apprentissage Fédéré Décentralisé, Fiable et Évolutif
En distancielL’apprentissage fédéré (FL) est un paradigme décentralisé permettant d'entraîner des modèles de machine learning sans partager les données brutes. Toutefois, il demeure vulnérable à diverses attaques, notamment les empoisonnements de … Continue reading Amine Bouchiha – Vers un Apprentissage Fédéré Décentralisé, Fiable et Évolutif
Séminaire Algorithmique : « Commit graphs in Version-Control Systems: incremental reachability and label discovery », Euxane Tran-Girard (LIGM, Univ. Paris-Est G. Eiffel)
Sciences 3- S3 351Current distributed source version-control systems (such as Git and Mercurial), track the history of changes using an append-only directed acyclic graph, sometimes complemented by labels subsequently attached to commits. We … Continue reading Séminaire Algorithmique : « Commit graphs in Version-Control Systems: incremental reachability and label discovery », Euxane Tran-Girard (LIGM, Univ. Paris-Est G. Eiffel)
Thi Thu Quyen Nguyen – Cryptanalysis of LWE with side information
Sciences 3- S3 351DDGR framework was introduced in Crypto 2020 as the first cryptanalysis framework that estimates the impact of some types of side information on the security of Learning with Errors (LWE). … Continue reading Thi Thu Quyen Nguyen – Cryptanalysis of LWE with side information
Séminaire Algorithmique : « Introduction à la théorie des structures et son application aux fonctions Booléennes », Joan Thibault (IRISA, Rennes)
Sciences 3- S3 351La notion de structure transparaît dans de nombreux domaines scientifiques comme une approche pragmatique pour capturer le fait que des objets complexes peuvent être décomposés en éléments plus simples. Nous … Continue reading Séminaire Algorithmique : « Introduction à la théorie des structures et son application aux fonctions Booléennes », Joan Thibault (IRISA, Rennes)