W. L. Baily and A. Borel, Compactification of Arithmetic Quotients of Bounded Symmetric Domains, Annals of Mathematics, vol.84, pp.442-528, 1966.

T. Becker, On Gröbner bases under specialization, Applicable Algebra in Engineering, Communication and Computing, vol.5, p.19, 1994.

C. Birkenhake and H. Lange, Complex abelian varieties, Grundlehren der Mathematischen Wissenschaften, vol.302, 2003.

C. Birkenhake and H. Wilhelm, Humbert surfaces and the Kummer plane, Transactions of the American Mathematical society, vol.355, pp.1819-1841, 2003.

R. Bröker and K. Lauter, Modular polynomials for genus 2, LMS Journal of Computation and Mathematics, vol.12, pp.1461-1570, 2009.

R. Bröker, D. Gruenewald, and K. Lauter, Explicit CM theory for level 2-structures on abelian surfaces, Algebra & Number Theory, vol.5, pp.495-528, 2011.

R. Bröker, K. Lauter, and A. Sutherland, Modular polynomials via isogeny volcanoes, Mathematics of Computation, vol.81, p.3, 2012.

E. H. Brooks, D. Jetchev, and B. Wesolowski, Isogeny graphs of ordinary abelian varieties, Research in Number Theory, vol.3, p.4, 2017.

J. H. Bruinier, Hilbert modular forms and their applications". In: The 1-2-3 of modular forms, vol.39, pp.105-179, 2008.

D. Charles, K. Lauter, and E. Goren, Cryptographic hash functions from expander graphs, Journal of Cryptology, vol.22, p.3, 2009.

J. Couveignes and R. Lercier, Elliptic periods for finite fields, Finite fields and their applications, vol.15, p.3, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00630391

L. De-feo, D. Jao, and J. Plût, Towards quantum-resistant cryptosystems from supersingular elliptic curve isogenies, Journal of Mathematical Cryptology, vol.8, issue.3, p.3, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00652846

C. Doche, T. Icart, and D. Kohel, Efficient scalar multiplication by isogeny decompositions, Public Key Cryptography-PKC 2006, p.3, 2006.

A. Dudeanu, Computational Aspects of Jacobians of Hyperelliptic Curves, p.22, 2016.

A. Dudeanu, D. Jetchev, D. Robert, and M. Vuille, Cyclic Isogenies for Abelian Varieties with Real Multiplication, p.22
URL : https://hal.archives-ouvertes.fr/hal-01629829

R. Dupont, Moyenne arithmético-géométrique, suites de Borchardt et applications, vol.7, p.47, 2006.

N. Elkies, Elliptic and modular curves over finite fields and related computational issues, Computational perspectives on number theory: Proceedings of the conference in honor of A.O.L. Atkin, vol.7, pp.21-76, 1998.

N. Elkies and A. Kumar, K3 surfaces and equations for Hilbert modular surfaces, Algebra and Number Theory, vol.8, pp.2297-2411, 2014.

A. Enge, Computing modular polynomials in quasi-linear time, In: Math. Comp, vol.78, p.3, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00143084

A. Enge and A. Sutherland, Class invariants by the CRT method, ANTS IX: Proceedings of the Algorithmic Number Theory 9th International Symposium, vol.6197, p.3, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00448729

A. Enge and E. Thomé, Computing class polynomials for abelian surfaces, Experimental Mathematics, vol.23, p.16, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00823745

A. Enge and F. Morain, Comparing invariants for class fields of imaginary quadratic fields, Algorithmic number theory, p.3, 2002.

E. Freitag, Hilbert modular forms, Hilbert Modular Forms, vol.8, pp.5-71, 1990.

S. Galbraith, F. Hess, and N. Smart, Extending the GHS Weil descent attack, Advances in Cryptology-EUROCRYPT 2002, p.3, 2002.

J. Zur-gathen and G. Jürgen, Modern Computer Algebra, p.20, 1999.

P. Gaudry, Algorithmique des courbes hyperelliptiques et applications à la cryptologie, p.3, 2000.
URL : https://hal.archives-ouvertes.fr/tel-00514848

P. Gaudry, Fast genus 2 arithmetic based on Theta functions, In: Journal of Mathematical Cryptology, vol.1, issue.3, p.3, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000625

P. Gaudry, T. Houtmann, D. Kohel, C. Ritzenthaler, and A. Weng, The 2-adic CM method for genus 2 curves with application to cryptography, International Conference on the Theory and Application of Cryptology and Information Security, p.19, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00103435

E. Z. Goren, Lectures on Hilbert modular varieties and modular forms, American Mathematical Soc, vol.8, 2002.

D. Gruenewald, Explicit algorithms for Humbert surfaces, 2008.

K. Gundlach, Die Bestimmung der Funktionen zur Hilbertschen Modulgruppe des Zahlkörpers Q( ? 5), In: Math. Annalen, vol.152, pp.226-256, 1963.

K. Gundlach, Die Bestimmung der Funktionen zu einigen Hilbertschen Modulgruppen, Journal für die reine und angewandte Mathematik, vol.220, 1965.

F. Hirzebruch and D. Zagier, Classification of Hilbert Modular Surfaces, Complex Analysis and Algebraic Geometry, p.43, 1977.

G. Humbert, Sur les fonctions abéliennes singulières I, Journal de Mathématiques Pures et Appliquées, serie 5 V (1899), pp.233-350

G. Humbert, Sur les fonctions abéliennes singulières II, Journal de Mathématiques Pures et Appliquées, serie 5 VI, pp.279-386, 1900.

G. Humbert, Sur les fonctions abéliennes singulières III, Journal de Mathématiques Pures et Appliquées, serie 5 VII, pp.97-124, 1901.

J. Igusa, Arithmetic variety of moduli for genus 2, Annals of Mathematics, vol.72, 1960.

J. Igusa, On Siegel modular forms of genus 2, American Journal of Mathematics, vol.84, 1962.

J. Igusa, Modular Forms and Projective Invariants, American Journal of Mathematics, vol.89, issue.7, 1967.

M. Kalkbrener, On the stability of Gröbner bases under specializations, Journal of Symbolic Computation, vol.24, p.19, 1997.

O. King, The subgroup structure of finite classical groups in terms of geometric configurations, Surveys in Combinatorics, p.25, 2005.

H. Labrande, Explicit computation of the Abel-Jacobi map and its inverse, vol.16, p.5, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01403849

H. Labrande, Computing Jacobi's theta in quasi-linear time, In: Math. Comp, vol.87, p.17, 2018.

H. Labrande and E. Thomé, Computing theta functions in quasi-linear time in genus two and above, In: LMS Journal of Computation and Mathematics, vol.19, pp.163-177, 2016.

K. Lauter, M. Naehrig, and T. Yang, Hilbert theta series and invariants of genus 2 curves, Journal of Number Theory, p.50, 2015.

K. Lauter and T. Yang, Computing genus 2 curves from invariants on the Hilbert moduli space, Journal of Number Theory, Elliptic Curve Cryptography 131, vol.5, 2011.

K. E. Lauter and D. Robert, Improved CRT Algorithm for Class Polynomials in Genus 2, ANTS X -Proceedings of the Tenth Algorithmic Number Theory Symposium, vol.1, pp.437-461, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00734450

A. K. Lenstra, H. W. Lenstra, and L. Lovász, Factoring polynomials with rational coefficients, Mathematische Annalen, vol.261, pp.515-534, 1982.

R. Manni, Modular varieties with level 2 theta structure, American Journal of Mathematics, vol.116, pp.1489-1511, 1994.

C. Martindale, Isogeny Graphs, Modular Polynomials, and Applications, 2018.
URL : https://hal.archives-ouvertes.fr/tel-01992715

E. Milio, A quasi-linear time algorithm for computing modular polynomials in dimension 2, LMS Journal of Computation and Mathematics, vol.18, issue.1, p.48, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01080462

F. Morain, Calcul du nombre de points sur une courbe elliptique dans un corps fini: aspects algorithmiques, Journal de théorie des nombres de Bordeaux, vol.7, p.3, 1995.

R. Müller, Hilbertsche modulformen und modulfunktionen zu Q( ? 8), Mathematische Annalen, vol.266, p.40, 1983.

R. Müller, Hilbertsche Modulformen und Modulfunktionen zu Q( ? 5), Archiv der Mathematik, vol.45, p.40, 1985.

D. Mumford, Tata lectures on theta II, vol.43, 1984.

S. Nagaoka, On the ring of Hilbert modular forms over Z, Journal Math. Soc. Japan, vol.35, pp.589-608, 1983.

A. Novocin, D. Stehlé, and G. Villard, An LLL-reduction algorithm with quasi-linear time complexity, Proceedings of the forty-third annual ACM symposium on Theory of computing, pp.403-412, 2011.
URL : https://hal.archives-ouvertes.fr/ensl-00534899

H. Resnikoff, On the Graded Ring of Hilbert Modular Forms Associated with Q( ? 5), In: Math. Ann, vol.208, pp.161-170, 1974.

D. Robert, Computing cyclic isogenies using real multiplication". (Notes), p.22, 2013.

A. Rostovtsev and A. Stolbunov, Public-key cryptosystem based on isogenies, International Association for Cryptologic Research, p.3, 2006.

B. Runge, Endomorphism rings of abelian surfaces and projective models of their moduli spaces, Tohoku mathematical journal, vol.51, pp.283-303, 1999.

R. Schoof, Counting points on elliptic curves over finite fields, Journal de théorie des nombres de Bordeaux, vol.7, p.3, 1995.

J. Serre, Le Problème des Groupes de Congruence Pour SL 2, Annals of Mathematics, vol.92, p.12, 1970.

N. Smart, An analysis of Goubin's refined power analysis attack, Cryptographic Hardware and Embedded Systems-CHES 2003, p.3, 2003.

B. Smith, Isogenies and the Discrete Logarithm Problem in Jacobians of Genus 3
URL : https://hal.archives-ouvertes.fr/inria-00537860

, Hyperelliptic Curves, vol.22, p.3, 2009.

M. Streng, Complex multiplication of abelian surfaces, 2010.

A. Sutherland, Computing Hilbert class polynomials with the Chinese remainder theorem, Mathematics of Computation, vol.80, p.3, 2011.

J. Tate, Endomorphisms of Abelian Varieties over Finite Fields, Inventiones mathematicae, vol.2, p.32, 1966.

E. Teske, An elliptic curve trapdoor system, Journal of cryptology, vol.19, issue.1, p.3, 2006.

G. Van-der and . Geer, On the geometry of a Siegel modular threefold, Math. Ann, vol.260, p.11, 1982.

G. Van-der and . Geer, Hilbert modular surfaces, vol.16, 2012.

, adress: enea.milio@epfl.ch The first step can be done using Corollary A.13 or A.15. The second is explained in, EPFL SB MathGeom GR-JET, vol.16