Séminaire ELEC (Visio): Axe 3 – Systèmes complexes de mesure et de détection: bruit, capteurs, instruments, applications
Ce séminaire permettra de faire le point sur les résultats et les faits marquants de l'axe 3 dans la période juin 2020 - mars2021. S. Saez & M. Denoual
Raphael Bost – A Quick Intro to Searchable Encryption : Theory & Practice – Constructions & Attacks
En distancielIntroduction rapide aux Algorithmes de recherche sur bases de données chiffrées : théorie et pratique - constructions et attaques.
Séminaire ALGO : Romain Lecoq
Sciences 3- S3 351A remplir.
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 informations essentielles à la bonne compréhension de l'efficacité des algorithmes. Parmi celles-ci, la complexité en moyenne consiste à supposer une distribution de probabilité sur les … 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, le scanner 3D d’une sculpture, la numérisation d’une archive ou d’un fond précieux, etc.) que l’indexation des œuvres, ou la reconstitution virtuelle. L’objectif principal de … 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 Y. By the end of the protocol, the client learns the intersection of X and Y and nothing else about the server's set, while the … 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 Q, and evolving according to a deterministic synchronous update rule in such a way that each entity only depends on its neighbors in the network's … 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 premier (la borne inférieure) soit plus petit que le deuxième (borne supérieure). Nos travaux proposent de générer automatiquement des tests unitaires pour à partir de … 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 to isotropic sampling that chooses the next step uniformly at random. The uniformity is defined with respect to volume measure of timed languages previously studied … Continue reading Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »