Séminaire ALGO : Sergej Scheck (GREYC), Knowledge Compilation for Action Languages
Sciences 3- S3 351Abstract : Computational efficiency of a planner in automated planning depends among other things on the formal representation of actions. This motivates the study of the relative succinctness and complexity … Continue reading Séminaire ALGO : Sergej Scheck (GREYC), Knowledge Compilation for Action Languages
Journée DyNet (Dynamic Networks – graphe dynamiques)
LE GREYC accueille les journées DyNet (qui devrait se poursuivre par un projet RIN, si la région veut bien nous financer comme elle l'avait promis) le 6 octobre. Voici le … Continue reading Journée DyNet (Dynamic Networks – graphe dynamiques)
Nouveaux postes au GREYC
La liste des postes d’enseignants-chercheurs au concours en 2021 sera connue courant Janvier 2021.
Pandémie: Retour à la normale
Le laboratoire reprend ses activités de recherche en présentiel suivant le plan de déconfinement mis en place par les tutelles.
Mohamed Maouche – Recent Approaches of Speaker Anonymization Techniques
An increasing number of smart devices embed speech-commands. The usage of speech offers simplicity, accessibility and it also opens new human-computer interactions. However, the gathering and exploitation of this type … Continue reading Mohamed Maouche – Recent Approaches of Speaker Anonymization Techniques
Mélissa Rossi – Assessing residual security of lattice-based cryptography
This talk will present a framework for cryptanalysis of lattice-based schemes, when side information —in the form of «hints»— about the secret is available. This presentation outlines a joint work … Continue reading Mélissa Rossi – Assessing residual security of lattice-based cryptography
Isabella Panaccione – The Power Error Locating Pairs algorithm
In this talk we present an overview of some decoding algorithms for Reed-Solomon codes, together with a ``power'' extension of the Error Correcting Pairs algorithm. It is known that several … Continue reading Isabella Panaccione – The Power Error Locating Pairs algorithm
Nampoina Andriamilanto – Authentification forte par prise d’empreinte de navigateurs
L'authentification web consiste à vérifier que le visiteur d'un site web est bien le détenteur d'un compte. Pour ce faire, plusieurs informations peuvent servir de preuve de détention, dont les … Continue reading Nampoina Andriamilanto – Authentification forte par prise d’empreinte de navigateurs
Matthieu Lequesne – Recovering short secret keys of RLCE in polynomial time
The security of most modern public key encryption algorithms (such as RSA) relies on arithmetic problems. Today, the hardness of these problems is threatened by the potential emergence of large … Continue reading Matthieu Lequesne – Recovering short secret keys of RLCE in polynomial time
Séminaire ALGO, Antonin Callard : « Entropies et entropies de surfaces des sous-shifts 2D »
Les sous-shifts 2D sont les ensembles de coloriages du plan $Z^2$, par un nombre fini de couleurs, et qui sont définis par des familles de motifs interdits. Les sous-shifts sont … Continue reading Séminaire ALGO, Antonin Callard : « Entropies et entropies de surfaces des sous-shifts 2D »
Séminaire ELEC (Visio): Axe 1 – Physique des composants à semi-conducteurs : bruit, température, défauts électroniques
Ce séminaire permettra de faire le point sur les résultats et les faits marquants de l'axe 1 dans la période juin 2020 - mars2021. Yannick Guhel & Bogdan Cretu