D. Cependant and . Le-premierprobì-eme, nous pouvonségalementpouvonségalement demander de calculer l'image d'un point par l'isogénie. Les variétés initiales et finales peuventêtrepeuventêtre données de différentes façons : 1, Thêta constantes de niveau n

. Dans-ce-chapitre, nous supposons données les thêta constantes d'unepremì ere variété et une description d'un noyau d'une isogénie Nous allons calculer alors les thêta constantes de ladeuxì eme variété. Par ailleurs nous expliquons comment calculer l'image d'un point. Nous nous plaçons en caractéristique différente de 2. Par ailleurs, nous nous intéressons au calcul de d-isogénies séparablesséparablesétant donnés leurs noyaux

. M. Bibliographie-[-adh94-]-l, J. Adleman, M. Demarrais, and . Huang, A subexponential algorithm for discrete logarithms over the rational subgroup of the jacobians of large genus hyperelliptic curves over finite fields editeurs : ANTS-I, Lecture Notes in Computer Science, vol.877, pp.28-40, 1994.

D. [. Arène, C. Kohel, and . Ritzenthaler, Complete addition laws on abelian varieties. eprint arXiv:1102.2349, Février 2011

. [. Atkin, Finding suitable curves for the elliptic curve method of factorization, Mathematics of Computation, vol.60, issue.201, pp.399-405, 1993.
DOI : 10.1090/S0025-5718-1993-1140645-1

URL : https://hal.archives-ouvertes.fr/inria-00075015

]. A. Atk92, Atkin : The Number of Points on an Elliptic Curve modulo a Prime. Ensemble d'e-mailsàmailsà la liste de diffusion NMBRTHRY, 1992.

]. W. Bai62 and J. Baily, On the Theory of ?-Functions, the Moduli of Abelian Varieties, and the Moduli of Curves, Annals of Mathematics. Second Series, vol.75, issue.2, pp.342-381, 1962.

P. [. Bernstein, T. Birkner, and . Lange, Starfish on Strike, Progress in Cryptology ? LATINCRYPT 2010, pp.61-80, 2010.
DOI : 10.1007/978-3-642-14712-8_4

[. Brier and C. Clavier, New Families of ECM Curves for Cunningham Numbers, Guillaume Hanrot 9th International Symposium, pp.96-109, 2010.
DOI : 10.1007/978-3-642-14518-6_11

URL : https://hal.archives-ouvertes.fr/hal-00947685

M. [. Boneh and . Franklin, Identity-Based Encryption from the Weil Pairing, Proceedings of the 21st Annual International Cryptology Conference on Advances in Cryptology, CRYPTO '01, pp.213-229, 2001.

D. [. Bröker and . Gruenewald, Lauter : Explicit CM-theory in dimension 2. eprint arXiv:0910.1848, Octobre, 2009.

]. B. Bir68 and . Birch, How the number of points of an elliptic curve over a fixed prime field varies

]. G. Bis11 and . Bisson, Endomorphism rings in cryptography, Thèse de doctorat, 2011.

M. [. Billet and . Joye, The Jacobi Model of an Elliptic Curve and Side-Channel Analysis
DOI : 10.1007/3-540-44828-4_5

I. M. Fossorier, T. Høholdt, and A. Poli, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Lecture Notes in Computer Science, vol.2643, pp.34-42, 2003.

H. [. Birkenhake and . Lange, Complex abelian varieties
DOI : 10.1007/978-3-662-06307-1

. J. Bibliographie-[-bl07-]-d, T. Bernstein, and . Lange, Faster Addition and Doubling on Elliptic Curves, Advances in Cryptology ? ASIACRYPT 2007, pp.29-50, 2007.

B. [. Boneh, H. Lynn, and . Shacham, Short Signatures from the Weil Pairing, Advances in Cryptology ? ASIACRYPT 2001, pp.514-532, 2001.
DOI : 10.1007/3-540-45682-1_30

K. [. Bröker, A. V. Lauter, and . Sutherland, Modular polynomials via isogeny volcanoes, Mathematics of Computation, vol.81, issue.278, 2010.
DOI : 10.1090/S0025-5718-2011-02508-1

]. R. Bre86 and . Brent, Some integer factorization algorithms using elliptic curves Réécrit et appendice ajouté en, Australian Computer Science Communications, vol.8, pp.149-163, 1986.

]. R. Bre99 and . Brent, Factorization of the tenth and eleventh Fermat numbers, Mathematics of Computation, vol.68, issue.225, pp.429-451, 1999.

J. [. Bach and . Shallit, Factoring with cyclotomic polynomials, Mathematics of Computation, vol.52, issue.185, pp.201-219, 1989.
DOI : 10.1090/S0025-5718-1989-0947467-1

A. [. Bisson and . Sutherland, Computing the endomorphism ring of an ordinary elliptic curve over a finite field, Journal of Number Theory, vol.131, issue.5, pp.815-831, 2011.
DOI : 10.1016/j.jnt.2009.11.003

URL : https://hal.archives-ouvertes.fr/inria-00383155

]. R. Bt92, H. J. Brent, and . Te-riele, Factorizations of a n ± 1, 13 ? a < 100, 1992.

P. [. Brent and . Zimmermann, Modern Computer Arithmetic, volume 18 de Cambridge Monographs on Applied and Computational Mathematics, 2010.

]. D. Can87 and . Cantor, Computing in the Jacobian of a hyperelliptic curve, Mathematics of Computation, vol.48, issue.177, pp.95-101, 1987.

]. R. Car09 and . Carls, Galois theory of the canonical theta structure. eprint arXiv:math/0509092, p.509092, 2009.

G. [. Chudnovsky and . Chudnovsky, Sequences of numbers generated by addition in formal groups and new primality and factorization tests, Advances in Applied Mathematics, vol.7, issue.4, pp.385-434, 1986.
DOI : 10.1016/0196-8858(86)90023-0

G. [. Cohen and . Frey, Handbook of Elliptic and Hyperelliptic Curve Cryptography, 2005.
DOI : 10.1201/9781420034981

. [. Castryck, Hubrechts : The distribution of the number of points modulo an integer on elliptic curves over finite fields, 2011.

]. W. Cho49 and . Chow, On compact complex analytic varieties, American Journal of Mathematics, vol.71, pp.893-914, 1949.

D. [. Carls, D. Kohel, and . Lubicz, Higher-dimensional 3-adic CM construction, Journal of Algebra, vol.319, issue.3, pp.971-1006, 2008.
DOI : 10.1016/j.jalgebra.2007.11.016

URL : https://hal.archives-ouvertes.fr/hal-00383119

D. [. Cosset and . Robert, Computing $(\ell ,\ell )$-isogenies in polynomial time on Jacobians of genus $2$ curves, Mathematics of Computation, vol.84, issue.294, 2011.
DOI : 10.1090/S0025-5718-2014-02899-8

J. [. Cornell and . Silverman, Arithmetic Geometry, 1986.
DOI : 10.1007/978-1-4613-8655-1

O. Debarre, H. Clemens, and J. Kollár, The Schottky Problem: An Update Current Topics in Algebraic Geometry, de Mathematical Sciences Research Institute Publications, pp.57-64, 1994.

M. [. Diffie and . Hellman, New directions in cryptography, IEEE Transactions on Information Theory, vol.22, issue.6, pp.644-654, 1976.
DOI : 10.1109/TIT.1976.1055638

]. O. Dia10 and . Diao, Quelques aspects de l'arithmétique des courbes hyperelliptiques de genre 2, Thèse de doctorat, 2010.

]. C. Die06 and . Diem, An index calculus algorithm for plane curves of small degree, Lecture Notes in Computer Science, vol.4076, pp.543-557, 2006.

D. [. Dolgachev and . Lehavi, On isogenous principally polarized abelian surfaces. eprint arXiv:0710.1298, Mars, 2008.

E. [. Diem and . Thomé, Index Calculus in Class Groups of Non-hyperelliptic Curves of Genus Three, Journal of Cryptology, vol.38, issue.192, pp.593-611, 2008.
DOI : 10.1007/978-1-4757-1920-8

URL : https://hal.archives-ouvertes.fr/inria-00107290

]. R. Dup06 and . Dupont, Moyenne arithmético-géométrique, suites de Borchardt et applications, Thèse de doctorat, ´ Ecole polytechnique, 2006.

]. S. Duq04 and . Duquesne, Montgomery scalar multiplication for genus 2 curves, Lecture Notes in Computer Science, vol.3076, pp.153-168, 2004.

]. S. Duq07 and . Duquesne, Improving the arithmetic of elliptic curve in the Jacobi model, Information Processing Letters, vol.104, pp.101-105, 2007.

. [. Eisenmann, Farkas : An Elementary Proof of Thomae's Formulae, Online Journal of Analytic Combinatorics, vol.3, 2008.

P. [. Enge, E. Gaudry, and . Thomé, An L(1/3) Discrete Logarithm Algorithm for Low Degree Curves, Journal of Cryptology, vol.68, issue.226, pp.24-41, 2011.
DOI : 10.1090/S0025-5718-01-01352-7

URL : https://hal.archives-ouvertes.fr/inria-00135324

S. Erickson, M. Jacobson, N. Shang, S. Shen, and A. Stein, Explicit Formulas for Real Hyperelliptic Curves of Genus 2 in Affine Representation, Lecture Notes in Computer Science, vol.4547, pp.202-218, 2007.
DOI : 10.1007/978-3-540-73074-3_16

]. T. Elg85, ElGamal : A public-key cryptosystem and a signature scheme based on discrete logarithms, IEEE Transactions on Information Theory, IT?, vol.31, issue.4, pp.469-472, 1985.

]. N. Elk91, Elkies : Explicit isogenies, 1991.

]. N. Elk98, Elkies : Elliptic and modular curves over finite fields and related computational issues

D. A. In, J. T. Buell, and . Teitelbaum, Computational Perspectives on Number Theory, Proceedings of a Conference in Honor of A.O.L. Atkin, pp.21-76, 1998.

]. A. Eng08, G. L. Enge, D. Mullen, I. E. Panario, and . Shparlinski, Discrete logarithms in curves over finite fields, Eighth International Conference on Finite Fields and Applications -Fq8 Finite Fields and Applications de Contemporary Mathematics, pp.119-139, 2008.

M. [. Farashahi and . Joye, Efficient Arithmetic on Hessian Curves, Lecture Notes in Computer Science, vol.6056, pp.243-260, 2010.
DOI : 10.1007/978-3-642-13013-7_15

I. [. Farkas and . Kra, Riemann Surfaces, volume 71 de Graduate Texts in Mathematics, 1980.

I. [. Farkas and . Kra, Theta constants, Riemann surfaces and the modular group, de Graduate studies in Mathematics, p.179, 2001.
DOI : 10.1090/gsm/037

J. Faugère, D. Lubicz, and D. Robert, Computing modular correspondences for abelian varieties. eprint arXiv:0910.4668, Octobre, 2009.

M. Fouquet, F. , and D. R. Kohel, Morain : Isogeny volcanoes and the SEA algorithm Algorihmic Number Theory, volume 2369 de Lecture Notes in Computer Science, 5th International Symposium, ANTS-V, pp.276-291, 2002.

H. [. Frey, Rück : A remark concerning m-divisibility and the discrete logarithm in the divisor class group of curves, Mathematics of Computation, vol.62, issue.206, pp.865-874, 1994.

]. M. Fü07 and . Fürer, Faster integer multiplication, Proceedings of the thirty-ninth annual ACM symposium on Theory of computing, STOC '07, pp.57-66, 2007.

]. S. Gal11 and . Galbraith, Mathematics of Public Key Cryptography. Livre en préparation, 2011.

]. P. Gau00 and . Gaudry, Algorithmique des courbes hyperelliptiques et applicationsàapplicationsà la cryptologie, Thèse de doctorat, ´ Ecole Polytechnique, 2000.

]. P. Gau04 and . Gaudry, Algorithmes de comptage de points d'une courbe définie sur un corps fini, Gau07] P. Gaudry : Fast genus 2 arithmetic based on theta functions, pp.243-265, 2004.

]. P. Gau09 and . Gaudry, Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem, Journal of Symbolic Computation, vol.44, issue.12, pp.1690-1702, 2009.

. Ghk-+-06-]-p, T. Gaudry, D. Houtmann, C. Kohel, and . Ritzenthaler, Weng : The 2-adic CM method for genus 2 curves with application to cryptography, Advances in Cryptology ? ASIACRYPT 2006, pp.114-129, 2006.

M. [. Galbraith, D. Harrison, . Mireles, and . Morales, Efficient Hyperelliptic Arithmetic Using Balanced Representation for Divisors, Alfred van der Poorten et Andreas Stein, pp.342-356, 2008.
DOI : 10.1007/978-3-540-79456-1_23

D. [. Gaudry and . Lubicz, The arithmetic of characteristic 2 Kummer surfaces and of elliptic Kummer lines. Finite Fields and Their Applications, pp.246-260, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00266565

]. D. Gru08 and . Gruenewald, Explicit Algorithms for Humbert Surfaces, Thèse de doctorat, 2008.

]. S. Gru10 and . Grushevsky, The Schottky problem. eprint arXiv:1009.0369, Septembre http: //arxiv.org/abs/1009.0369. [GS01] P. Gaudry etÉet´etÉ. Schost : On the invariants of the quotients of the Jacobian of a curve of genus 2, S. Bozta¸sBozta¸s et I. Shparlinski, ´ editeurs : Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, volume 2227 de Lecture Notes in Computer Science, pp.373-386, 2001.

P. Gaudry, E. Thomé, N. Thériault, and C. , A double large prime variation for small genus hyperelliptic index calculus, Mathematics of Computation, vol.76, issue.257, pp.475-492, 2007.
DOI : 10.1090/S0025-5718-06-01900-4

URL : https://hal.archives-ouvertes.fr/inria-00077334

]. R. Har77 and . Hartshorne, Algebraic Geometry, volume 52 de Graduate Texts in Mathematics, 1977.

F. [. Howe and . Leprévost, Poonen : Large torsion subgroups of split Jacobians of curves of genus two or three, Forum Mathematicum, vol.12, pp.315-364, 2000.

]. T. Hon68 and . Honda, Isogeny classes of abelian varieties over finite fields, Journal of the Mathematical Society of Japan, vol.20, issue.12, pp.83-95, 1968.

]. E. How93 and . Howe, On the group orders of elliptic curves over finite fields, Compositio Mathematica, vol.85, pp.229-247, 1993.

J. [. Harasawa, J. Shikata, H. Suzuki, and . Imai, Comparing the MOV and FR Reductions in Elliptic Curve Cryptography, Lecture Notes in Computer Science, vol.1592, pp.190-205, 1999.
DOI : 10.1007/3-540-48910-X_14

]. D. Hus87 and . Husemöller, Elliptic curves, volume 111 de Graduate Texts in Mathematics, 1987.

]. Igu60 and . Igusa, Arithmetic variety of moduli for genus two, Annals of Mathematics. Second Series, vol.72, pp.612-649, 1960.

]. Igu62 and . Igusa, On Siegel modular forms of genus two, American Journal of Mathematics, vol.84, pp.175-200, 1962.

]. Igu72, Igusa : Theta functions, volume 194 de Grundlehren der mathematischen Wissenschaften, 1972.

]. S. Iit81 and . Iitaka, Algebraic geometry, volume 76 de Graduate Texts in Mathematics, 1981.

. Kaf-+-10-]-t, K. Kleinjung, J. Aoki, A. K. Franke, E. Lenstra et al., Factorization of a 768-bit rsa modulus, Advances in Cryptology ? Crypto'2010, pp.333-350, 2010.

]. G. Kem89 and . Kempf, Linear systems on abelian varieties, American Journal of Mathematics, vol.111, issue.1, pp.65-94, 1989.

]. H. Kli90 and . Klingen, Introductory lectures on Siegel modular forms, volume 20 de Cambridge studies in advanced mathematics, 1990.

]. D. Knu81 and . Knuth, The Art of Computer Programming: Seminumerical Algorithms, 1981.

]. D. Koh96 and . Kohel, Endomorphism rings of elliptic curves over finite fields, Thèse de doctorat, 1996.

]. D. Koh11 and . Kohel, Addition law structure of elliptic curves, Journal of Number Theory, vol.131, issue.5, pp.894-919, 2011.

]. S. Koi76 and . Koizumi, Theta relations and projective normality of abelian varieties, American Journal of Mathematics, pp.865-889, 1976.

]. S. Koi97 and . Koizumi, Remarks on Takase's paper " A generalization of Rosenhain's normal form with an application, Japan Academy. Proceedings. Series A. Mathematical Sciences, pp.12-13, 1997.

]. A. Kru08 and . Kruppa, Factoring into large primes with P-1, P+1 and ECM Slides au workshop CADO, disponiblè a l'adresse http://cado.gforge.inria.fr/workshop/slides/kruppa. pdf. [Kru10] A. Kruppa : Speeding up Integer Multiplication and Factorization, Thèse de doctorat, 2008.

A. [. Kedlaya and . Sutherland, Hyperelliptic curves, l-polynomials, and random matrices. eprint arXiv:0803.4462, Mars, 2010.

]. R. Bibliographie-[-kuh88 and . Kuhn, Curves of genus 2 with split jacobian. Transactions of the, pp.41-49, 1988.

]. S. Lan58 and . Lang, Reciprocity and Correspondences, American Journal of Mathematics, vol.80, issue.2, pp.431-440, 1958.

]. S. Lan59 and . Lang, Abelian varieties. Numéro 7 de Interscience Tracts in Pure and Applied Mathematics, 1959.

]. S. Lan72 and . Lang, Introduction to algebraic and abelian functions, 1972.

]. T. Lan05 and . Lange, Formulae for arithmetic on genus 2 hyperelliptic curves Applicable Algebra in Engineering, Communication and Computing, vol.15, issue.5, pp.295-328, 2005.

]. H. Len87 and J. Lenstra, Factoring integers with elliptic curves, Annals of Mathematics. Second Series, vol.126, pp.649-673, 1987.

]. Q. Liu02 and . Liu, Algebraic Geometry and Arithmetic Curves, Oxford Graduate Texts in Mathematics, 2002.

. [. Lenstra-jr and C. Et, A rigorous time bound for factoring integers, Journal of the American Mathematical Society, vol.5, issue.3, pp.483-516, 1992.
DOI : 10.1090/S0894-0347-1992-1137100-0

. [. Lenstra, J. Jr, and C. Pila, A Hyperelliptic Smoothness Test. I, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.345, issue.1676, pp.397-408, 1993.
DOI : 10.1098/rsta.1993.0138

URL : https://openaccess.leidenuniv.nl/bitstream/handle/1887/3840/346_118.pdf%3Bjsessionid%3D7ECAEA2F9C83D4AEA42CDA85CB610518?sequence%3D1

. [. Lenstra, J. Jr, and C. Pila, Pomerance : A hyperelliptic smoothness test, II, Proc. London Math. Soc, pp.105-146, 2002.
DOI : 10.1112/plms/84.1.105

URL : http://cr.yp.to/bib/2002/lenstra-hecm.pdf

W. [. Lange and . Ruppert, Complete systems of addition laws on abelian varieties, Inventiones Mathematicae, vol.29, issue.3, pp.603-610, 1985.
DOI : 10.1007/BF01388526

]. D. Lr10a, D. Lubicz, and . Robert, Computing isogenies between abelian varieties. eprint arXiv:1001.2016, Mars 2010

]. D. Lr10b, D. Lubicz, and . Robert, Efficient pairing computation with theta functions Algorithmic Number Theory, Juillet 2010. 9th International Symposium, 2010.

]. Mes91, T. Mestre, C. Mora, and . Traverso, Construction de courbes de genre 2 ` a partir de leurs modules Effective methods in algebraic geometry, Proc. Congress in, pp.313-334, 1990.

]. J. Mil06 and . Milne, Complex Multiplication Abelian varieties http://www.jmilne.org/math/CourseNotes/av : Evaluating recurrences of form x m+n = f (x m , x n , x m?n ) via Lucas chains, 1983.

]. P. Mon87 and . Montgomery, Speeding the Pollard and Elliptic Curve Methods of Factorization, Mathematics of Computation, vol.48, issue.177, pp.243-264, 1987.

]. P. Mon92 and . Montgomery, An FFT extension of the Elliptic Curve Method of factorization, Thèse de doctorat, 1992.

]. P. Mon94 and . Montgomery, A Survey of Modern Integer Factorization Algorithms, CWI Quarterly, vol.7, pp.337-366, 1994.

T. [. Menezes and S. A. Okamoto, Vanstone : Reducing elliptic curves logarithms to logarithms in a finite field, Proc. 23rd Annual ACM Symposium on Theory of Computing (STOC), pp.80-89, 1991.

D. Mumford, On the equations defining abelian varieties. I, Inventiones Mathematicae, vol.111, issue.4, pp.287-354, 1966.
DOI : 10.1007/978-3-662-00095-3

]. D. Mum67b and . Mumford, On the equations defining abelian varieties, III. Inventiones Mathematicae, vol.3, pp.215-244, 1967.

]. D. Mum69 and . Mumford, Varieties defined by quadratic equations. Questions on Algebraic Varieties, pp.29-100, 1969.

]. D. Mum70 and . Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, issue.5, 1970.

]. D. Mum83 and . Mumford, Tata lectures on theta I, de Progress in Mathematics. Birkhäuser, 1983.

]. D. Mum84 and . Mumford, Tata lectures on theta II, de Progress in Mathematics. Birkhäuser, 1984.

]. D. Mum91 and . Mumford, Tata lectures on theta III, 1991.

]. A. Odl99 and . Odlyzko, Discrete logarithms: the past and the future, Designs, Codes, and Cryptography, vol.19, pp.129-145, 1999.

M. [. Pohlig and . Hellman, An improved algorithm for computing logarithms over<tex>GF(p)</tex>and its cryptographic significance (Corresp.), IEEE Transactions on Information Theory, vol.24, issue.1, pp.106-110, 1978.
DOI : 10.1109/TIT.1978.1055817

]. J. Pol74, Pollard : Theorems on factorization and primality testing, pp.521-528, 1974.

]. C. Poo94, Poor : The Hyperelliptic locus, Duke Mathematical Journal, vol.76, issue.3, pp.809-884, 1994.

]. F. Ric36 and . Richelot, Essai sur une méthode générale pour déterminer la valeur des intégrales ultraelliptiques , fondée sur des transformations remarquables de ces transcendantes. Comptes Rendus de l, Académie des Sciences. Série I, vol.2, pp.622-627, 1836.

]. F. Ric37 and . Richelot, De transformatione Integralium Abelianorum primiordinis commentation, Journal fur die Reine und Angewandte Mathematik, pp.221-341, 1837.

]. D. Rob10 and . Robert, Theta functions and cryptographic applications, Thèse de doctorat, 2010.

A. [. Rivest and L. M. Shamir, A method for obtaining digital signatures and public-key cryptosystems, Communications of the ACM, vol.21, issue.2, pp.120-126, 1978.
DOI : 10.1145/359340.359342

]. T. Sat00 and . Satoh, The canonical lift of an ordinary elliptic curve over a finite field and its point counting, Journal of the Ramanujan Mathematical Society, vol.15, pp.247-270, 2000.

]. P. Sat01 and . Satgé, Morphismes d'une courbe de genre 2 vers une courbe de genre 1, Arithmétique des revêtements algébriques -Actes du colloque de Saint-´ Etienne de Séminaires et Congrès Zur Theorie der Abel schen Functionen vor vier Variablen. Journal fur die Reine und Angewandte Mathematik, pp.133-146304, 1888.

J. Serre, G??om??trie alg??brique et g??om??trie analytique, Annales de l???institut Fourier, vol.6, pp.1-42
DOI : 10.5802/aif.59

]. Ser89 and . Serre, Lectures on the Mordell-Weil theorem. Friedr, 1989.

]. T. Sha01 and . Shaska, Curves of genus 2 with (n, n)-split Jacobians, Journal of Symbolic Computation, vol.31, pp.603-617, 2001.

]. T. Sha02 and . Shaska, Genus 2 curves with (3, 3)-split Jacobian and large automorphism group, ANTS V, volume 2369 de Lecture Notes in Computer Science, pp.100-113, 2002.

]. T. Sha04 and . Shaska, Genus 2 fields with degree 3 elliptic subfields, Forum Mathematicum, vol.16, pp.263-280, 2004.

]. T. Sha05 and . Shaska, Genus 2 curves covering elliptic curves, a computational approach, Lecture Notes in Computer Science, vol.13, pp.151-195, 2005.

]. G. Shi98 and . Shimura, Abelian Varieties with Complex Multiplication and Modular Functions, 1998.

]. J. Sil86 and . Silverman, The arithmetic of elliptic curves, volume 106 de Graduate Texts in Mathematics, 1986.

]. J. Sil94 and . Silverman, Advanced Topics in the Arithmetic of Elliptic Curves, volume 151 de Graduate Texts in Mathematics, 1994.

H. [. Schottky and . Jung, Neue Sätzë uber Symmetralfunktionen und die Abel'schen Funktionen der Riemann'schen Theorie, Smi09] B. Smith : Isogenies and the Discrete Logarithm Problem in Jacobians of Genus 3 Hyperelliptic Curves, pp.282-297505, 1909.

]. H. Sti93 and . Stichtenoth, Algebraic function fields and codes, 1993.

]. M. Str10 and . Streng, Complex multiplication of abelian surfaces, Thèse de doctorat, 2010.

]. A. Sut11 and . Sutherland, Computing Hilbert class polynomials with the Chinese remainder theorem, Mathematics of Computation, vol.80, pp.501-538, 2011.

]. H. Suy85 and . Suyama, Informal preliminary report (8) Letter to Richard P, pp.25-1985

]. K. Tak96 and . Takase, A Generalization of Rosenhain's Normal Form for Hyperelliptic Curves with an Application, Japan Academy. Proceedings. Series A. Mathematical Sciences, pp.162-165, 1996.

]. J. Tat66 and . Tate, Endomorphisms of Abelian varieties over finite fields, Inventiones Mathematicae, vol.2, pp.134-144, 1966.

]. J. Tho70 and . Thomae, Beitrag zur Bestimmung von ? (0, 0, . . . 0) durch die Klassbmoduln agebraischer Functionnen, Journal fur die Reine und Angewandte Mathematik, vol.70, pp.201-222, 1870.

]. J. Tho73 and . Thomae, Darstellung des Quotienten zweier Thetafunctionen, deren Argumente sich um Drittel ganzer Periodicitätsmoduln unterscheiden, durch algebraische Fiunctionen, Mathematische Annalen, vol.6, pp.603-612, 1873.

]. G. Van-der-geer and B. Moonen, Abelian varieties. Livre en préparation, Vél71] J. Vélu : Isogénies entre courbes elliptiques. Comptes Rendus de l'Académie des Sciences. Série A, pp.238-241, 1971.

]. P. Van-wamelen, Equations for the Jacobian of a hyperelliptic curve. Transactions of the, pp.3083-3106, 1998.

]. A. Wei64 and . Weil, Sur certains groupes d'opérateurs unitaires, Acta Mathematica, vol.111, issue.1, pp.143-211, 1964.

A. Weng, Constructing hyperelliptic curves of genus 2 suitable for cryptography, Mathematics of Computation, vol.72, issue.241, pp.435-458, 2003.
DOI : 10.1090/S0025-5718-02-01422-9

]. O. Zar28 and . Zariski, On Hyperelliptic ?-Functions with Rational Characteristics, American Journal of Mathematics, vol.50, issue.3, pp.315-344, 1928.

B. [. Zimmermann and . Dodson, years of ECM, ANTS VII, pp.20-525, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00070192