Description
Le crible algébrique est le meilleur algorithme connu pour factoriser les entiers et pour calculer des logarithmes discrets dans des corps finis de grande caractérsitique. Bien que la complexité théorique est la même dans les deux cas, la phase d'algèbre linéaire est bien plus difficile dans le cas du logarithme discret. En revanche, les corps finis non premiers ont plus de structure, si bien que de nombreuses améliorations sont disponibles. Dans cet exposé, nous tenterons de quantifier les difficultés relatives de la factorisation d'entiers, du logarithme discret dans un corps premier, et du logarithme discret dans des corps de la forme GF(p^2). Notre discussion s'appuiera sur des expériences pratiques pour des entrées de 600 bits. Bien que cette taille est désormais plus ou moins de la routine pour la factorisation, cela constitue de nouveaux records pour le logarithme discret dans les corps finis de grande caractéristique. Cet exposé s'appuie sur des travaux communs avec Bouvier, Imbert, Jeljeli, Thomé, Barbulescu, Guillevic, Morain.
Prochains exposés
-
Polytopes in the Fiat-Shamir with Aborts Paradigm
Orateur : Hugo Beguinet - ENS Paris / Thales
The Fiat-Shamir with Aborts paradigm (FSwA) uses rejection sampling to remove a secret’s dependency on a given source distribution. Recent results revealed that unlike the uniform distribution in the hypercube, both the continuous Gaussian and the uniform distribution within the hypersphere minimise the rejection rate and the size of the proof of knowledge. However, in practice both these[…]-
Cryptographie
-
Primitive asymétrique
-
Mode et protocole
-
-
Post-quantum Group-based Cryptography
Orateur : Delaram Kahrobaei - The City University of New York