Current

Unless stated otherwise, the seminar takes place on Tuesdays, from 10 to 11, in room 385 at IMB. To get announcements, you can subscribe to the mailing-list.

2019-10-22
10:00
Salle 2
Développeurs LFANT (IMB)
Hacking session
2019-10-29
10:00
Salle 2
Développeurs LFANT (IMB)
Hacking session
2019-11-05
10:00
Salle 2
Henri Cohen (imb)
TBA
2019-11-08
14:00
Salle de conférences
Guilhem Castagnos (imb)
HDR defense: Cryptographie basée sur les corps quadratiques: cryptanalyse, primitives et protocoles
2019-11-19
10:00
Salle 2
Maria Dostret (EPFL)
Exact Semidefinite Programming Bounds for Packing Problems
Semidefinite Programming (SDP) is a powerful tool to obtain upper bounds for packing problems. For example, one can consider the kissing problem of the hemisphere in dimension 8 which asks for the maximal number of pairwise non-overlapping spheres which can simultaneously touch a central hemisphere in 8-dimensional Euclidean space. The E8 lattice gives a kissing configuration of 183 points. Moreover, using an SDP given by Bachoc and Vallentin one gets an upper bound of 182.99999999996523. Hence, the optimal value is 183. But how can we obtain the exact rational solution of the SDP based on the floating point results given by the SDP solver?
In this talk, I will explain how we can determine the exact result of the SDP. Furthermore, we use these techniques to obtain exact results for the kissing problem of the hemisphere in dimension 8 as well as for other packing problems.

Using the exact rational solution for the kissing problem of the hemisphere, we can prove that the optimal kissing configuration is unique up to isometry.

This is a joint work with David de Laat and Philippe Moustrou.
2019-11-26
10:00
Salle 2
Alice Pellet-Mary (ÉNS de Lyon)
An LLL Algorithm for Module Lattices
A lattice is a discrete subgroup (i.e., $\mathbb Z$-module) of $\mathbb R^n$ (where $\mathbb Z$ and $\mathbb R$ are the sets of integers and real numbers). The LLL algorithm is a central algorithm to manipulate lattice bases. It takes as input a basis of a Euclidean lattice, and, within a polynomial number of operations, it outputs another basis of the same lattice but consisting of rather short vectors.
On the cryptographic side, many algorithms based on lattices in fact use structured lattices, in order to improve the efficiency of the schemes. Most of the time, these structured lattices are $R$-modules of small dimension, where $R$ is the ring a integers of some number field. It is then tempting to try and adapt the LLL algorithm, which works over lattices (i.e., $\mathbb Z$-modules), to these $R$-modules.

All the previous works trying to solve this question focused on rings of integers $R$ that were Euclidean, as the LLL algorithm over $\mathbb Z$ crucially rely on the Euclidean division. In this talk, I will describe the first LLL algorithm which works in any ring of integers $R$. This algorithm is heuristic and runs in quantum polynomial time if given access to an oracle solving the closest vector problem in a fixed lattice, depending only on the ring of integers R.

This is a joint work with Changmin Lee, Damien Stehlé and Alexandre Wallet
2019-12-03
10:00
Salle 2
Tony Ezome (Université des Sciences et Techniques de Masuku (USTM), Franceville, Gabon)
TBA
2019-12-10
10:00
Salle 2
Raphael Rieu-Helft (Université Paris-Sud)
TBA