Description
Our talk is about joint work with D. Kohel and D. Lubicz. We prove equations having as solutions the theta null points of canonical lifts of ordinary abelian varieties over finite fields of characteristic 3. We describe an algorithm for 3-adic canonical lifting of ordinary abelian surfaces based on our formulas. The algorithm has been implemented in MAGMA. Examples of canonically lifted theta null points are given whose coordinates generate the ray class field modulo 2 of the reflex field of the endomorphism algebra.
Prochains exposés
-
CryptoVerif: a computationally-sound security protocol verifier
Orateur : 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
-