Computing isogenies between elliptic curves over Fpn using Couveignes's algorithm

Mathematics of Computation

Volumn 69, Issue 229, 2000, Pages 351-370

  Lercier, R ^a   Morain, F ^b  

^a CELAR   (France)

^b ÉCOLE POLYTECHNIQUE   (France)

Author keywords

Elliptic curves; Finite fields; Formal groups; Isogenies; Schoof's algorithm

Indexed keywords

EID: 0034405138     PISSN: 00255718     EISSN: None     Source Type: Journal    
DOI: 10.1090/s0025-5718-99-01081-9     Document Type: Article

References (77)

1. A. O. L. Atkin, The number of points on an elliptic curve modulo a prime, Draft, 1988.
2. _, The number of points on an elliptic curve modulo a prime (ii), Draft. Available on http://listserv.nodak.edu/archives/nmbrthry.html, 1992.
3. A. O. L. Atkin and F. Morain, Elliptic curves and primality proving, Math. Comp. 61 203 (July 1993), 29-68. MR 93m:11136 A. Borel, S. Chowla, C. S. Herz, K. Iwasawa, and J.-P. Serre, Seminar on complex multiplication, No. 21 in Lecture Notes in Math., Springer, 1966. MR 34:12778
4. A. O. L. Atkin and F. Morain, Elliptic curves and primality proving, Math. Comp. 61 203 (July 1993), 29-68. MR 93m:11136 A. Borel, S. Chowla, C. S. Herz, K. Iwasawa, and J.-P. Serre, Seminar on complex multiplication, No. 21 in Lecture Notes in Math., Springer, 1966. MR 34:12778
5. A. O. L. Atkin and F. Morain, Elliptic curves and primality proving, Math. Comp. 61 203 (July 1993), 29-68. MR 93m:11136 A. Borel, S. Chowla, C. S. Herz, K. Iwasawa, and J.-P. Serre, Seminar on complex multiplication, No. 21 in Lecture Notes in Math., Springer, 1966. MR 34:12778
6. A. O. L. Atkin and F. Morain, Elliptic curves and primality proving, Math. Comp. 61 203 (July 1993), 29-68. MR 93m:11136 A. Borel, S. Chowla, C. S. Herz, K. Iwasawa, and J.-P. Serre, Seminar on complex multiplication, No. 21 in Lecture Notes in Math., Springer, 1966. MR 34:12778
7. W. Bosma, Primality testing using elliptic curves, Tech. Rep. 85-12, Math. Institut, Universiteit van Amsterdam, 1985.
8. R. P. Brent, F. G. Gustavson, and D. Y. Y. Yun, Fast solution of Toeplitz systems of equations and computation of Padé approximants, J. Algorithms 1 (1980), 259-295. MR 82d:65033
9. R. P. Brent, F. G. Gustavson, and D. Y. Y. Yun, Fast solution of Toeplitz systems of equations and computation of Padé approximants, J. Algorithms 1 (1980), 259-295. MR 82d:65033
10. R. P. Brent and H. T. Kung, Fast algorithms for manipulating formal power series, J. Assoc. Comput. Mach. 25 (1978), 581-595. MR 58:25090
11. R. P. Brent and H. T. Kung, Fast algorithms for manipulating formal power series, J. Assoc. Comput. Mach. 25 (1978), 581-595. MR 58:25090
12. L. Comtet, Calcul pratique des coefficients de Taylor d'une fonction algébrique, Enseignement Math. 10 (1964), 267-270. MR 29:1738
13. L. Comtet, Calcul pratique des coefficients de Taylor d'une fonction algébrique, Enseignement Math. 10 (1964), 267-270. MR 29:1738
14. J.-M. Couveignes, Quelques calculs en théorie des nombres, Thèse, Université de Bordeaux I, July 1994.
15. _, Computing l-isogenies using the p-torsion, In Algorithmic Number Theory (1996), H. Cohen, Ed., vol. 1122 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 59-65. Second International Symposium, ANTS-II, Talence, France, May 1996, Proceedings. MR 98j:11046
16. _, Computing l-isogenies using the p-torsion, In Algorithmic Number Theory (1996), H. Cohen, Ed., vol. 1122 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 59-65. Second International Symposium, ANTS-II, Talence, France, May 1996, Proceedings. MR 98j:11046
17. _, Isomorphisms between Artin-Schreier towers. Draft, available on http://wwu.math.u-bordeaux.fr/~couveign, Jan. 1997.
18. J.-M. Couveignes, L. Dewaghe, and F. Morain, Isogeny cycles and the Schoof-Elkies-Atkin algorithm, Research Report LIX/RR/96/03, LIX, Apr. 1996.
19. J.-M. Couveignes and F. Morain, Schoof's algorithm and isogeny cycles. In ANTS-I (1994), L. Adleman and M.-D. Huang, Eds., vol. 877 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 43-58. 1st Algorithmic Number Theory Symposium - Cornell University, May 6-9, 1994. MR 95m:11147
20. J.-M. Couveignes and F. Morain, Schoof's algorithm and isogeny cycles. In ANTS-I (1994), L. Adleman and M.-D. Huang, Eds., vol. 877 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 43-58. 1st Algorithmic Number Theory Symposium - Cornell University, May 6-9, 1994. MR 95m:11147
21. M. Deuring, Die Typen der Multiplikatorenringe elliptischer Funktionenkörper, Abh. Math. Sem. Hamburg 14 (1941), 197-272. MR 3:104f
22. M. Deuring, Die Typen der Multiplikatorenringe elliptischer Funktionenkörper, Abh. Math. Sem. Hamburg 14 (1941), 197-272. MR 3:104f
23. L. Dewaghe, Un corollaire aux formules de Vélu, Preprint, Dec. 1995.
24. N. D. Elkies, Explicit isogenies, Draft, 1991.
25. _, Elliptic and modular curves over finite fields and related computational issues, In Computational Perspectives on Number Theory: Proceedings of a Conference in Honor of A. O. L. Atkin (1998), D. A. Buell and J. T. Teitelbaum, Eds., vol. 7 of AMS/IP Studies in Advanced Mathematics, American Mathematical Society, International Press. CMP 98:05
26. _, Elliptic and modular curves over finite fields and related computational issues, In Computational Perspectives on Number Theory: Proceedings of a Conference in Honor of A. O. L. Atkin (1998), D. A. Buell and J. T. Teitelbaum, Eds., vol. 7 of AMS/IP Studies in Advanced Mathematics, American Mathematical Society, International Press. CMP 98:05
27. R. Fricke, Die elliptischen Funktionen und ihre Anwendungen, Teubner, Leipzig, 1992.
28. A. Fröhlich, Formal groups, vol. 74 of Lecture Notes in Math., Springer-Verlag, 1968. MR 39:4164
29. A. Fröhlich, Formal groups, vol. 74 of Lecture Notes in Math., Springer-Verlag, 1968. MR 39:4164
30. S. Goldwasser and J. Kilian, Almost all primes can be quickly certified, In Proc. 18th STOC (1986), ACM, pp. 316-329. May 28-30, Berkeley.
31. H. Gunji, The Hasse invariant and p-division points of an elliptic curve, Arch. Math. 27 2 (1976), 148-158. MR 54:325
32. H. Gunji, The Hasse invariant and p-division points of an elliptic curve, Arch. Math. 27 2 (1976), 148-158. MR 54:325
33. G. Harper, A. Menezes, and S. Vanstone, Public-key cryptosystems with very small key length, In Advances in Cryptoloy - EUROCRYPT '92 (1993), R. A. Rueppel, Ed., vol. 658 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 163-173. Workshop on the Theory and Application of Cryptographic Techniques, Balatonfüred, Hungary, May 24-28, 1992, Proceedings.
34. D. Husemöller, Elliptic curves, vol. 111 of Graduate Texts in Mathematics, Springer, 1987. MR 88h:11039
35. D. Husemöller, Elliptic curves, vol. 111 of Graduate Texts in Mathematics, Springer, 1987. MR 88h:11039
36. M. Kaneko and D. Zagier, Supersingular j-invariants, hypergeometric series, and Atkin's orthogonal polynomials. In Computational Perspectives on Number Theory: Proceedings of a Conference in Honor of A. O. L. Atkin (1998), D. A. Buell and J. T. Teitelbaum, Eds., vol. 7 of AMS/IP Studies in Advanced Mathematics, American Mathematical Society, International Press. CMP 98:05
37. M. Kaneko and D. Zagier, Supersingular j-invariants, hypergeometric series, and Atkin's orthogonal polynomials. In Computational Perspectives on Number Theory: Proceedings of a Conference in Honor of A. O. L. Atkin (1998), D. A. Buell and J. T. Teitelbaum, Eds., vol. 7 of AMS/IP Studies in Advanced Mathematics, American Mathematical Society, International Press. CMP 98:05
38. N. Koblitz, Elliptic curve cryptosystems, Math. Comp. 48 177 (Jan. 1987), 203-209. MR 88b:94017
39. N. Koblitz, Elliptic curve cryptosystems, Math. Comp. 48 177 (Jan. 1987), 203-209. MR 88b:94017
40. F. Lehmann, M. Maurer, V. Müller, and V. Shoup, Counting the number of points on elliptic curves over finite fields of characteristic greater than three. In ANTS-I (1994), L. Adleman and M.-D. Huang, Eds., vol. 877 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 60-70. 1st Algorithmic Number Theory Symposium - Cornell University, May 6-9, 1994. MR 95m:11148
41. F. Lehmann, M. Maurer, V. Müller, and V. Shoup, Counting the number of points on elliptic curves over finite fields of characteristic greater than three. In ANTS-I (1994), L. Adleman and M.-D. Huang, Eds., vol. 877 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 60-70. 1st Algorithmic Number Theory Symposium - Cornell University, May 6-9, 1994. MR 95m:11148
42. H. W. Lenstra, Jr., Factoring integers with elliptic curves, Ann. of Math. (2) 126 (1987), 649-673. MR 89g:11125
43. H. W. Lenstra, Jr., Factoring integers with elliptic curves, Ann. of Math. (2) 126 (1987), 649-673. MR 89g:11125
44. 2n, In Algorithmic Number Theory (1996), H. Cohen, Ed., vol. 1122 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 197-212. Second International Symposium, ANTS-II, Talence, France, May 1996, Proceedings. MR 98d:11069
45. 2n, In Algorithmic Number Theory (1996), H. Cohen, Ed., vol. 1122 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 197-212. Second International Symposium, ANTS-II, Talence, France, May 1996, Proceedings. MR 98d:11069
46. _, Algorithmique des courbes elliptiques dans les corps finis, Thèse, École polytecnique, June 1997.
47. pn using Couveignes's algorithm, Research Report LIX/RR/95/09, École Polytechnique-LIX, Sept. 1995. MR 96h:11060
48. pn using Couveignes's algorithm, Research Report LIX/RR/95/09, École Polytechnique-LIX, Sept. 1995. MR 96h:11060
49. _, Counting the number of points on elliptic curves over finite fields: strategies and performances, In Advances in Cryptology - EUROCRYPT '95 (1995), L. C. Guillou and J.-J. Quisquater, Eds., vol. 921 of Lecture Notes in Comput. Sci., pp. 79-94. International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 1995, Proceedings. MR 96h:11060
50. _, Counting the number of points on elliptic curves over finite fields: strategies and performances, In Advances in Cryptology - EUROCRYPT '95 (1995), L. C. Guillou and J.-J. Quisquater, Eds., vol. 921 of Lecture Notes in Comput. Sci., pp. 79-94. International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 1995, Proceedings. MR 96h:11060
51. _, Algorithms for computing isogenies between elliptic curves, In Computational Perspectives on Number Theory: Proceedings of a Conference in Honor of A. O. L. Atkin (1998), D. A. Buell and J. T. Teitelbaum, Eds., vol. 7 of AMS/IP Studies in Advanced Mathematics, American Mathematical Society, International Press. CMP 98:05
52. _, Algorithms for computing isogenies between elliptic curves, In Computational Perspectives on Number Theory: Proceedings of a Conference in Honor of A. O. L. Atkin (1998), D. A. Buell and J. T. Teitelbaum, Eds., vol. 7 of AMS/IP Studies in Advanced Mathematics, American Mathematical Society, International Press. CMP 98:05
53. J. L. Massey, Shift-register and BCH decoding, IEEE Trans. Inform. Theory IT-15, 1 (Jan. 1969), 122-127. MR 39:3887
54. J. L. Massey, Shift-register and BCH decoding, IEEE Trans. Inform. Theory IT-15, 1 (Jan. 1969), 122-127. MR 39:3887
55. R. McEliece, Finite fields for computer scientists and engineers, Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers, 1988. MR 88h:11091
56. R. McEliece, Finite fields for computer scientists and engineers, Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers, 1988. MR 88h:11091
57. A. Menezes and S. Vanstone, Isomorphism classes of elliptic curves over finite fields of characteristic 2, Utilitas Math. 38 (1990), 135-153. MR 92a:11071
58. A. Menezes and S. Vanstone, Isomorphism classes of elliptic curves over finite fields of characteristic 2, Utilitas Math. 38 (1990), 135-153. MR 92a:11071
59. A. J. Menezes, Elliptic curve public key cryptosystems, Kluwer Academic Publishers, 1993.
60. 2m , Math. Comp. 60, 201 (Jan. 1993), 407-420. MR 93f:11098
61. 2m , Math. Comp. 60, 201 (Jan. 1993), 407-420. MR 93f:11098
62. V. Miller, Use of elliptic curves in cryptography, In Advances in Cryptology - CRYPTO '86 (1987), A. M. Odlyzko, Ed., vol. 263 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 417-426. Proceedings, Santa Barbara (USA), August 11-15, 1986. MR 88b:68040
63. V. Miller, Use of elliptic curves in cryptography, In Advances in Cryptology - CRYPTO '86 (1987), A. M. Odlyzko, Ed., vol. 263 of Lecture Notes in Comput. Sci., Springer-Verlag, pp. 417-426. Proceedings, Santa Barbara (USA), August 11-15, 1986. MR 88b:68040
64. P. L. Montgomery, Speeding the Pollard and elliptic curve methods of factorization, Math. Comp. 48, 177 (Jan. 1987), 243-264. MR 88e:11130
65. P. L. Montgomery, Speeding the Pollard and elliptic curve methods of factorization, Math. Comp. 48, 177 (Jan. 1987), 243-264. MR 88e:11130
66. F. Morain, Calcul du nombre de points sur une courbe elliptique dans un corps fini: aspects algorithmiques, J. Théor. Nombres Bordeaux 7 (1995), 255-282. MR 97i:11111
67. F. Morain, Calcul du nombre de points sur une courbe elliptique dans un corps fini: aspects algorithmiques, J. Théor. Nombres Bordeaux 7 (1995), 255-282. MR 97i:11111
68. _, Classes d'isomorphismes des courbes elliptiques supersingulières en caractéristique ≥ 3, Utilitas Math. 52 (1997), 241-253. CMP 98:08
69. _, Classes d'isomorphismes des courbes elliptiques supersingulières en caractéristique ≥ 3, Utilitas Math. 52 (1997), 241-253. CMP 98:08
70. V. Müller, Ein Algorithmus zur Bestimmung der Punktanzahl elliptischer Kurven über endlichen Körpern der Charakteristik gröβer drei, Ph.D. thesis, Technischen Fakultät der Universität des Saarlandes, 1995.
71. B. Salvy, P. Zimmermann, and P. Gfun, A maple package for the manipulation of generating and holonomic functions in one variable, ACM Transactions on Mathematical Software 20, 2 (1994), 163-177.
72. R. Schoof, Counting points on elliptic curves over finite fields, J. Théor. Nombes Bordeaux 7 (1995), 219-254. MR 97i:11070
73. R. Schoof, Counting points on elliptic curves over finite fields, J. Théor. Nombes Bordeaux 7 (1995), 219-254. MR 97i:11070
74. J. H. Silverman, The arithmetic of elliptic curves, vol. 106 of Graduate Texts in Mathematics, Springer, 1986. MR 87g:11061
75. J. H. Silverman, The arithmetic of elliptic curves, vol. 106 of Graduate Texts in Mathematics, Springer, 1986. MR 87g:11061
76. J. Tate, Endomorphisms of Abelian varieties over finite fields, Invent. Math. 2 (1966), 134-144. MR 34:5829
77. J. Tate, Endomorphisms of Abelian varieties over finite fields, Invent. Math. 2 (1966), 134-144. MR 34:5829