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 : TBA 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 : TBA par Silvio Jamil Ferzoli Guimaraes
Séminaire Algorithmique : Samuel Pastva (Masaryk Univ. Brno, Tchéquie)
Sciences 3- S3 351Résumé à venir
Séminaire Image : TBA 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 : TBA par Gary Perelman