ARIC - 2013 - Annual activity report

ARIC

ARIC - 2013

Project-Team Aric

Members

Overall Objectives

Overview
Highlights of the Year

Research Program

Introduction
Function evaluation
Hardware and FPGA arithmetic
Lattice-based cryptography
Floating-point arithmetic
Certified computing
Linear algebra and polynomial evaluation

Application Domains

Hardware Arithmetic
Floating-point and Validated Numerics
Cryptography, Cryptology, Communication Theory

Software and Platforms

Overview
FloPoCo
GNU MPFR
Exhaustive Tests for the Correct Rounding of Mathematical Functions
FPLLL: A Lattice Reduction Library
Sipe

New Results

Cryptography and lattices
Certified computing and computer algebra
Floating-point arithmetic
Hardware and FPGA arithmetic

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry
Bilateral Grants with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Invited Conferences
Popularization

Bibliography

Publications of the year

Previous |

Home | Next next

Section: Software and Platforms

Overview

AriC software and hardware realizations are accessible from the web page http://www.ens-lyon.fr/LIP/AriC/ware.html . We describe below only those which progressed in 2013.

Previous |

Home | Next next