Team Arénaire

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

National Initiatives

ANR EVA-Flo Project

The EVA-Flo project (Évaluation et Validation Automatiques de calculs Flottants, 2006-2010) is headed by N. Revol (Arénaire). The other teams participating in this project are Dali (Eliaus, U. Perpignan), Measi (LIST, CEA Saclay) and Tropics (INRIA Sophia-Antipolis).

This project focuses on the way a mathematical formula is evaluated in floating-point arithmetic. The approach is threefold: study of algorithms for approximating and evaluating mathematical formulae, validation of such algorithms, and automation of the process.

The EVA-Flo project appears on Cahiers de l'ANR no 3 and will be the subject of a talk and a poster during the ANR STIC colloque "Quelle recherche pour les STIC de demain?" in January 2010.

We had a meeting in Lyon in September this year. The work done so far encompasses the definition of the LEMA language, cf § 6.6 . Philippe Théveny has been hired to implement LEMA and interfaces between LEMA and software related to EVA-Flo topics.

ANR LaRedA Project

Participant : Ivan Morel.

The LaRedA project (Lattice Reduction Algorithms, 2008-2010) is funded by the ANR and headed by Brigitte Vallée (CNRS/GREYC) and Valérie Berthé (CNRS/LIRMM). The aim of the project is to finely analyze lattice reduction algorithms such as LLL, by using experiments, probabilistic tools and dynamic analysis. Among the major goals are the average-case analysis of LLL and its output distribution. In Lyon, we concentrate on the experimental side of the project (by using fpLLL and MAGMA) and the applications of lattice reduction algorithms.


Participants : Florent de Dinechin, Honoré Takeugming, Gilles Villard.

The TCHATER project (Terminal Cohérent Hétérodyne Adaptatif TEmps Réel, 2008-2010) is a collaboration between Alcatel-Lucent France, E2V Semiconductors, GET-ENST and the INRIA Arénaire and ASPI project/teams. Its purpose is to demonstrate a coherent terminal operating at 40Gb/s using real-time digital signal processing and efficient polarization division multiplexing. In Lyon, we study the FPGA implementation of specific algorithms for polarization demultiplexing and forward error correction with soft decoding.

PHC Sakura - INRIA Ayame junior program (France-Japan)

Participants : Nicolas Brisebarre, Guillaume Hanrot.

Software and Hardware Components for Pairing-Based Cryptography, 2 years (2008-2009), headed by G. Hanrot (LORIA) and E. Okamoto (LCIS, Univ. of Tsukuba).

Keywords: cryptography, (hyper)elliptic curves, pairing, finite field arithmetic, hardware accelerator, FPGA.

Participant: N. Brisebarre.

The project “Software and Hardware Components for Pairing-Based Cryptography”, (2008-2009), was headed by G. Hanrot (CACAO/LORIA then Arénaire/LIP) and E. Okamoto (LCIS, Univ. of Tsukuba).

The participants belong to the Arénaire (LIP, ENS Lyon) and CACAO (LORIA, Nancy) teams for the French part and to the LCIS (Univ. of Tsukuba, Japan) and the Future Univ. of Hakodate (Japan). The goal of this project was the enhancement of software and hardware implementations of pairings defined over algebraic curves. We worked on the development of a more efficient arithmetic over Jacobian of (hyper)elliptic curves, implementing genus 2 curve based pairings and designing algorithms and implementations resistant to side channel attacks.


Participants : Nicolas Brisebarre, Sylvain Chevillard, Guillaume Hanrot, Mioara Joldes, Andrew Novocin, Xavier Pujol, Gilles Villard.

The project ELRESAS (Réduction de réseaux : solutions exactes et approchées. Applications à la cryptologie et à l'arithmétique des ordinateurs) is within the 2009 program Programmes Exploratoires Pluridisciplinaires (PEPS) of the ST2I department of the CNRS. The participants belong to the Arénaire (LIP, ENS Lyon), CACAO (LORIA, Nancy), CASYS (LJK, Grenoble), MOAIS (LIG, Grenoble) and “Théorie des nombres” (Inst. C. Jordan, Univ. Lyon 1) teams. The general goal is the improvement of the algorithmic of euclidean lattices and some of its applications.

CNRS Grant Échange de chercheurs

Participant : Gilles Villard.

In 2008, G. Villard obtained a grant to visit the Magma team at the University of Sydney, Australia. The visit will take place within the end of 2009. [VL: À mettre à jour.]

Rhône-Alpes Region Grant Exploradoc

Participant : Ivan Morel.

I. Morel obtained this funding (Jul. 2008 - Jul. 2010) to cover the costs of his cotutelle PhD thesis between ENS Lyon (local advisor: G. Villard) and the University of Sydney (local advisor: J. Cannon). His research focuses on the development, analysis and implementation of fast LLL-type lattice reduction algorithms.


Logo Inria