Description
En cryptographie, on souhaite protéger des messages. Et pour ce faire certains cryptosystèmes en cryptographie asymétrique utilisent les nombres premiers. Il est donc très utile de pouvoir déterminer la primalité de grands entiers. Le test AKS est un algorithme déterministe de preuve de primalité qui a été publié en Août 2002 par Agrawal, Kayal et Saxena ("Primes is in P"). L'algorithme ECPP (Elliptic Curves Primality Proving) est un test de primalité probabiliste. Il a été proposé par A.O.L Atkin en 1988 et c'est l'un des tests de primalité les plus efficaces utilisés en pratique. Dans cet exposé, nous donnerons un critère de primalité de type AKS utilisant les courbes elliptiques : le critère AKS elliptique. Après avoir rappelé les tests Miller-Rabin, AKS et ECPP, nous généraliserons le critère AKS en termes d'extension étale S de Z/nZ munie d?un automorphisme.<br/> L'illustration, sur un exemple simple, du critère AKS elliptique va clôturer l'exposé.
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