Séminaire ALGO, Julien David : « Une nouvelle approche pour l’analyse d’algorithme. »
Résumé: L'étude théorique des algorithmes est très souvent limitée à l'analyse de la complexité dans le pire des cas. Il existe pourtant de nombreuses notions de complexité qui apportent des … Continue reading Séminaire ALGO, Julien David : « Une nouvelle approche pour l’analyse d’algorithme. »
Journée NormaSTIC : Activités de l’Axe IMAGE autour du patrimoine.
Le développement des technologies numériques autour du patrimoine est un domaine en pleine effervescence. Plusieurs aspects peuvent être considérés aussi bien la numérisation (tel que la photographie HD d’un tableau, … Continue reading Journée NormaSTIC : Activités de l’Axe IMAGE autour du patrimoine.
L’HCERES visite le GREYC
En distancielDu 31 mai au 3 juin, le GREYC a le plaisir de présenter ses activités de recherche au comité d'experts de l'HCERES, le Haut Conseil de l'évaluation de la recherche et de l'enseignement supérieur.
Virginie Lallemand – Attaques Boomerang et chiffrements de type Feistel
En distancielCet exposé se concentre sur une technique de cryptanalyse appelée l'attaque boomerang, introduite en 1999 par David Wagner et récemment affinée dans plusieurs publications.
Journée thématique Santé et Sciences du Numérique
ENSICAEN - Bâtiment E - Salle multi-activité 6 boulevard Maréchal Juin , CaenLe laboratoire GREYC organise une journée thématique pour favoriser l'émergence de projets entre les Sciences du numérique et le monde de la Santé.
Miruna Rosca – Private Set Intersection from Homomorphic Encryption: A Python Implementation
En distancielPrivate Set Intersection (PSI) is an interactive protocol between a client and a server. The client holds a set of items X and the server holds a set of items … Continue reading Miruna Rosca – Private Set Intersection from Homomorphic Encryption: A Python Implementation
Séminaire ALGO, Florian Bridoux (LIS, Université Aix-Marseille) : « Réseaux d’automates expansifs »
Sciences 3- S3 351Résumé : An Automata Network is a map f:Qn→Qn where Q is a finite alphabet. It can be viewed as a network of n entities, each holding a state from … Continue reading Séminaire ALGO, Florian Bridoux (LIS, Université Aix-Marseille) : « Réseaux d’automates expansifs »
Séminaire ALGO : Vincent Botbol (Nomadic labs.), Matthieu Dien (GREYC) et Ghiles Ziat (IRIF, Univ. Paris), « Génération de tests aléatoires pour des types numériques contraints ».
Sciences 3- S3 351Il est fréquent de manipuler des valeurs numériques avec des contraintes non explicitées par leur types. Par exemple, les intervalles sont des couples de nombres avec la contraintes que le … Continue reading Séminaire ALGO : Vincent Botbol (Nomadic labs.), Matthieu Dien (GREYC) et Ghiles Ziat (IRIF, Univ. Paris), « Génération de tests aléatoires pour des types numériques contraints ».
Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Sciences 3- S3 351Résumé : In this work we develop Monte-Carlo model checking techniques to evaluate quantitative properties of timed languages. Our approach is based on uniform random sampling of behaviors, as opposed … Continue reading Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Boly Seck – Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
Sciences 3- S3 351Les protocoles de sécurité modernes dans la plupart de nos systèmes reposent principalement sur trois fonctions de base de la cryptographie asymétrique : le chiffrement à clé publique, la signature … Continue reading Boly Seck – Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
Sciences 3- S3 351La dominance cyclique est un phénomène où différents états (espèces, stratégies...) sont dans une relation cyclique de proie à prédateur : A mange B mange C mange A. Il s'agit … Continue reading Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
Séminaire ALGO : Léo Pavlet Salomon (GREYC), « Groupe fondamental et pavages du plan: quelques constructions ».
Sciences 3- S3 351Résumé : On appelle sous-shift (ou sous-décalage) un ensemble de pavages ou de coloriages du plan respectant certaines contraintes locales. Historiquement introduits comme discrétisations de systèmes dynamiques continus, on se … Continue reading Séminaire ALGO : Léo Pavlet Salomon (GREYC), « Groupe fondamental et pavages du plan: quelques constructions ».