Séminaire Algortihmique : « Efficient and succinct zero-knowledge arguments in the CL framework », Agathe Beaugrand (GREYC)

Sciences 3- S3 351

Multiparty 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 , Caen

Nous 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 351

Pseudorandom 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 351

Dans 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 351

Public-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 351

The 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 351

Satisfiability 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 : 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 , Caen

Nous 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