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 that has not been beaten ever since. In 2014, Todo and Aoki showed that for 6-round AES, partial sums can be replaced by a technique … 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 is a clique. From this characterization it is not hard to prove that a k-connected chordal graph can be uniquely decomposed into (k+1)-connected components by … 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 matière de sécurité. De nombreux dispositifs IoT sont naturellement vulnérables en raison des contraintes de ressources telles que la capacité de traitement et l’autonomie de … 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 données (data poisoning) et de modèles (model poisoning). Pour relever les défis de confiance, de confidentialité et de passage à l’échelle dans le FL décentralisé, … 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 present a chain-based and a dichotomy-based framework, both leveraging incremental indices, to answer reachability queries in sub-linear time, and efficiently perform label synchronisation between users. … 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). Side information can come from many sources either from the construction itself or from the implementation leakage. Some of them can be categorized into perfect … 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 proposons une formalisation de cette notion et montrons comment s'en servir pour unifier diverses variations des diagrammes de décision binaires (BDD, une représentation simple, pragmatique, … Continue reading Séminaire Algorithmique : « Introduction à la théorie des structures et son application aux fonctions Booléennes », Joan Thibault (IRISA, Rennes)
Séminaire Algorithmique : « Graphs of Shortest Paths », Mehdi Naima (LIP6, Sorbonne Univ.)
Sciences 3- S3 351In this talk, we will explore graphs of shortest paths—directed acyclic graphs (DAGs) derived from shortest path traversals of a graph rooted at a fixed source. After establishing a precise definition of these structures, we will examine methods for uniformly sampling them and investigate their typical shape. Along the way, we will uncover interesting connections … Continue reading Séminaire Algorithmique : « Graphs of Shortest Paths », Mehdi Naima (LIP6, Sorbonne Univ.)
Neily Sanon – L’identification et la mesure des biais dans les systèmes de reconnaissance facial
Sciences 3- S3 351Facial recognition systems exhibit varying levels of performance depending on demographic characteristics such as gender, age, or ethnic origin. These biases, extensively documented in empirical studies, raise critical concerns regarding reliability, fairness, and ethical compliance. This presentation will examine the underlying sources of these biases, whether they stem from dataset composition, algorithmic choices, or intersectional … Continue reading Neily Sanon – L’identification et la mesure des biais dans les systèmes de reconnaissance facial
Séminaire Algorithmique : « Fractional domatic number and minimum degree », Hugo Demaret (Ecole Polytechnique et GREYC)
Sciences 3- S3 351The domatic number of a graph G is the maximum number of pairwise disjoint dominating sets of G. We are interested in the LP-relaxation of this parameter, which is called the fractional domatic number of G. We study its extremal value in the class of graphs of minimum degree d. The fractional domatic number of … Continue reading Séminaire Algorithmique : « Fractional domatic number and minimum degree », Hugo Demaret (Ecole Polytechnique et GREYC)
Henry Bambury – Polytopes in the Fiat-Shamir with Aborts Paradigm
Sciences 3- S3 351Post-quantum digital signatures have sparked a lot of interest in the cryptographic community in recent years. Both the NIST-selected signature Dilithium and Heatae, winner of the Korean PQC competition, rely on hardness of lattice problems and employ the Fiat-Shamir with Aborts paradigm, in which rejection sampling is used to eliminate a secret’s dependency on a … Continue reading Henry Bambury – Polytopes in the Fiat-Shamir with Aborts Paradigm
Séminaire Image : « Hierarchical decimation for graph learning », Stevan Stanovic
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Stevan Stanovic, doctorant de l'équipe Image. Il donnera un séminaire IMAGE le jeudi 12 juin 2025 à 14h en salle de séminaire F-200. Titre : "Hierarchical decimation for graph learning" Résumé : This presentation focuses on hierarchical pooling in graph neural networks (GNNs), a key operation aimed at reducing the … Continue reading Séminaire Image : « Hierarchical decimation for graph learning », Stevan Stanovic