POLSYS - 2012 - Annual activity report

POLSYS

POLSYS - 2012

Project-Team Polsys

Members

Overall Objectives

Introduction
Highlights of the Year

Scientific Foundations

Introduction
Fundamental Algorithms and Structured Systems
Solving Systems over the Reals and Applications.
Low level implementation and Dedicated Algebraic Computation and Linear Algebra.
Solving Systems in Finite Fields, Applications in Cryptology and Algebraic Number Theory.

Application Domains

Cryptology
Engineering sciences

Software

FGb
RAGlib
Epsilon

New Results

The complexity of solving quadratic boolean systems is better than exhaustive search
Improving the Complexity of Index Calculus Algorithms in Elliptic Curves over Binary Fields
On the relation between the MXL family of algorithms and Gröbner basis algorithms
On the Complexity of the BKW Algorithm on LWE
On the Complexity of the Arora-Ge algorithm against LWE
On enumeration of polynomial equivalence classes and their application to MPKC
Cryptanalysis of HFE, Multi-HFE and Variants for Odd and Even Characteristic
Solving Polynomial Systems over Finite Fields: Improved Analysis of the Hybrid Approach
Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries
Algebraic Crypanalysis with Side Channels Information
Worst case complexity of the Continued Fraction (CF) algorithm.
Local Generic Position for Root Isolation of Zero-dimensional Triangular Polynomial Systems.
Univariate Real Root Isolation in Multiple Extension Fields
Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs.
Variant Quantifier Elimination
Global optimization
Gröbner bases and critical points

Bilateral Contracts and Grants with Industry

Oberthur Technologies
Gemalto

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year

Previous |

Home | Next next

Section: Bilateral Contracts and Grants with Industry

Oberthur Technologies

Oberthur Technologies is the World second largest provider of security and identification solutions and services based on smart card technologies for mobile, payment, transport, digital TV and convergence markets. Since 2007, SALSA co-supervised 3 internships of first year master student on cryptology in smart-cards, and one internship of a 2nd year master student. The goal of this last internship was to study the feasibility of implementing multivariate schemes in constrained environments (typically a smart card). A new jointly supervised PhD thesis (PolSys/Oberthur) has start in march 2012.

Previous |

Home | Next next