Séminaire Algortihmique : « Efficient and succinct zero-knowledge arguments in the CL framework », Agathe Beaugrand (GREYC)
Sciences 3- S3 351Multiparty computation (MPC) aims at allowing a set of participants to perform computation together on private inputs. In order to protect the privacy of the users and guarantee the correctness … Continue reading Séminaire Algortihmique : « Efficient and succinct zero-knowledge arguments in the CL framework », Agathe Beaugrand (GREYC)
Séminaire Image : « Méthodes d’apprentissage profond pour la détection et la caractérisation des satellites géostationnaires à partir d’images spectro-spatiales » Sidney Besnard
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Sidney Besnard, doctorant au GREYC. Il donnera un séminaire IMAGE le jeudi 4 décembre 2025 à 14h en salle de séminaire F-200, qui sera aussi … Continue reading Séminaire Image : « Méthodes d’apprentissage profond pour la détection et la caractérisation des satellites géostationnaires à partir d’images spectro-spatiales » Sidney Besnard
Séminaire Algorithmique : « Structured-Seed Local Pseudorandom Generators and their Applications », Melissaris Nikolas (IRIF, Univ. Paris Cité)
Sciences 3- S3 351Pseudorandom generators are basic tools for simulating randomness efficiently. A local PRG is one where each output bit depends on only a few bits of the seed, which makes them … Continue reading Séminaire Algorithmique : « Structured-Seed Local Pseudorandom Generators and their Applications », Melissaris Nikolas (IRIF, Univ. Paris Cité)
Séminaire Algorithmique : « Cluster dans les triangulations munies d’un modèle d’Ising », Marie Albenque (IRIF, Univ. Paris Cité)
Sciences 3- S3 351Dans cet exposé, je ferai un panorama de résultats autour des triangulations aléatoires munies d’un modèle d’Ising. Dans ce modèle, les triangulations sont tirées aléatoirement avec une configuration de spins … Continue reading Séminaire Algorithmique : « Cluster dans les triangulations munies d’un modèle d’Ising », Marie Albenque (IRIF, Univ. Paris Cité)
Séminaire Algorithmique : « Post-Quantum Public-Key Pseudorandom Correlation Functions for Oblivious Transfer », Mahshid Riahinia (ENS Paris et IRIF, Univ. Paris Cité)
Sciences 3- S3 351Public-Key Pseudorandom Correlation Functions (PK-PCF) are functions that generate pseudorandom correlated strings. These correlations can then be used to speed up secure computation protocols. Recent works have made significant progress … Continue reading Séminaire Algorithmique : « Post-Quantum Public-Key Pseudorandom Correlation Functions for Oblivious Transfer », Mahshid Riahinia (ENS Paris et IRIF, Univ. Paris Cité)
Séminaire Algorithmique : « Revenge of the 4D: Can 4-dimensional isogenies become practical? », Pierrick Dartois (INRIA Rennes)
Sciences 3- S3 351The devastating attacks against SIDH (Supersingular Isogeny Diffie-Hellman) in 2022 introduced higher-dimensional isogenies as a cryptanalytic tool. As opposed to elliptic curve isogenies, higher-dimensional isogenies are defined between abelian varieties … Continue reading Séminaire Algorithmique : « Revenge of the 4D: Can 4-dimensional isogenies become practical? », Pierrick Dartois (INRIA Rennes)
Séminaire Algorithmique : « Eunoia: A Framework for SMT Proof Calculi », Hans-Jörg Schurr (Univ. of Iowa, USA)
Sciences 3- S3 351Satisfiability Modulo Theories (SMT) solvers combine decision procedures for various theories into a homogeneous automated reasoning framework. They are an indispensable tools to solve formal verification and decision problems. To … Continue reading Séminaire Algorithmique : « Eunoia: A Framework for SMT Proof Calculi », Hans-Jörg Schurr (Univ. of Iowa, USA)
Séminaire Image : Learning on graphs and hierarchies par Silvio Jamil Ferzoli Guimaraes
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Silvio Jamil Ferzoli Guimaraes, professeur à la Pontifical Catholic University of Minas Gerais. Il donnera un séminaire IMAGE le jeudi 22 janvier 2026 à 14h … Continue reading Séminaire Image : Learning on graphs and hierarchies par Silvio Jamil Ferzoli Guimaraes
Séminaire Algorithmique : Samuel Pastva (Masaryk Univ. Brno, Tchéquie)
Sciences 3- S3 351Résumé à venir
Séminaire Image : Comment faciliter l’interaction avec de grandes quantités de données? par Gary Perelman
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Gary Perelman, MCF CDD au GREYC. Il donnera un séminaire IMAGE le jeudi 29 janvier 2026 à 14h en salle de séminaire F-200. Titre : … Continue reading Séminaire Image : Comment faciliter l’interaction avec de grandes quantités de données? par Gary Perelman