HomePage - ECO: Exact Computing

projets du PEPR Cybersécurité SecureCompute () et Cryptanalyse (https://www.pepr-cybersecurite.fr/projet/cryptanalyse/).

BARRACUDA: algeBrA, pRoofs, pRotocols, Algorithms, Curves and sUrfaces for coDes and their Applications.
funded by the French National Agency of Research (ANR): 2021-2026.
principal investigator: Alain Couvreur, Inria Saclay & École Polytechnique;
local contact: Eleonora Guerrini

CIAO: Cryptography, Isogenies and Abelian varieties Overwhelming
funded by the French National Agency of Research (ANR): 2019-2024.
principal investigator: Damien Robert, Inria Bordeaux Sud-Ouest
local contact: Laurent Imbert

SANGRIA: Secure distributed computAtioN - cryptoGRaphy, combinatorIcs and computer Algebra
funded by the French National Agency of Research (ANR): 2021-2026.
principal investigator: Damien Vergnaud, Sorbonne Université, CNRS, LIP6 and Institut Universitaire de France
local contact: Fabien Laguillaumie

SPA
funded by the CNRS, projet Émergence 2020.
local contact: Bruno Grenet

FastDecode
funded by the CNRS under PEPS JCJC 2017 effort.
local contact: Bruno Grenet

RiCoRé
funded by the CNRS under PEPS JCJC 2015 effort.
local contact: Romain Lebreton

Catrel: Theoretical Advances, and Effective Resolution of the Discrete Logarithm Problem
funded by the French National Agencey of Research (ANR): 2013-2015.
local contact: Laurent Imbert

HPAC: High Performance Algebraic Computing
funded by the French National Agency of Research (ANR): 2012-2016.
local contact: Pascal Giorgi

PAVOIS: Arithmetic Protections Against Physical Attacks for Elliptic Curve based Cryptography
funded by the French National Agencey of Research (ANR): 2013-2015.
local contact: Laurent Imbert