Description
Les courbes elliptiques, très utilisées en cryptographie à clé publique, se généralisent avec les variétés abéliennes. Un exemple important de variétés abéliennes est donné par les jacobiennes de courbes hyperelliptiques.<br/> Les fonctions thêta permettent de représenter les points d'une variété abélienne. Elles sont caractérisées par les thêta constantes correspondantes. Étant donnée une courbe sous forme de Weierstrass $y2=f(x)$, quelles sont les thêta constantes correspondantes?<br/> Thomae a résolu ce problème pour le niveau $(2,2)$: ses formules relient des puissances des thêta constantes aux racines de $f$. J'expliquerai la méthode utilisée par Thomae et je montrerai comment on peut l'utiliser dans le cas des courbes elliptiques pour obtenir des formules du même genre pour d'autres niveaux. Une autre méthode est utilisée pour obtenir les niveaux $(r,r)$ pour le genre supérieur.
Next sessions
-
CryptoVerif: a computationally-sound security protocol verifier
Speaker : Bruno Blanchet - Inria
CryptoVerif is a security protocol verifier sound in the computational model of cryptography. It produces proofs by sequences of games, like those done manually by cryptographers. It has an automatic proof strategy and can also be guided by the user. It provides a generic method for specifying security assumptions on many cryptographic primitives, and can prove secrecy, authentication, and[…]-
Cryptography
-