Évènements

Recherche et navigation de vues Évènements

Navigation de vues évènement

Aujourd’hui

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 Algorithmique : « Data-driven design of logic-based models of biological processes », Samuel Pastva (Masaryk Univ. Brno, Tchéquie)

Sciences 3- S3 351

Modern cell biology generates a treasure trove of experimental data, allowing us to measure many biochemical processes in individual cells with single-molecule resolution. However, applying this data to generate explainable … Continue reading Séminaire Algorithmique : « Data-driven design of logic-based models of biological processes », Samuel Pastva (Masaryk Univ. Brno, Tchéquie)

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

Séminaire Algorithmique : « Rejection-free framework of Zero-Knowledge Proof », Antoine Douteau (GREYC, Caen)

Sciences 3- S3 351

Les frameworks de preuves “Engager-et-prouver” sont une généralisation des protocoles à divulgation nulle de connaissances. Ils permettent, en plus de prouver la connaissance d’un élément secret à un tiers, de … Continue reading Séminaire Algorithmique : « Rejection-free framework of Zero-Knowledge Proof », Antoine Douteau (GREYC, Caen)

Exporter Évènements