Constructing pairing-friendly hyperelliptic curves using Weil restriction

Journal of Number Theory

Volumn 131, Issue 5, 2011, Pages 959-983

  Freeman, David Mandell ^a   Satoh, Takakazu ^b  

^a STANFORD UNIVERSITY   (United States)

^b TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

Abelian varieties over finite fields; Pairing friendly curves; Split Jacobians; Weil restriction

Indexed keywords

EID: 79551584262     PISSN: 0022314X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jnt.2010.06.003     Document Type: Article

References (38)

1. Atkin A., Morain F. Elliptic curves and primality proving. Math. Comp. 1993, 61:29-68.
2. Bateman P., Horn R. A heuristic asymptotic formula concerning the distribution of prime numbers. Math. Comp. 1962, 16:363-367.
3. Benger N., Charlemagne M., Freeman D. On the security of pairing-friendly abelian varieties over non-prime fields. Lecture Notes in Comput. Sci. 2009, vol. 5671:52-65. Springer.
4. Bosma W., Cannon J., Playoust C. The Magma algebra system. I. The user language. J. Symbolic Comput. 1997, 24:235-265.
5. Brezing F., Weng A. Elliptic curves suitable for pairing based cryptography. Des. Codes Cryptogr. 2005, 37:133-141.
6. Bröker R. Constructing elliptic curves of prescribed order PhD dissertation, Universiteit Leiden, 2006, available at. http://math.leidenuniv.nl/~reinier/thesis.pdf.
7. Cassels J.W.S., Flynn E.V. Prolegomena to a Middlebrow Arithmetic of Curves of Genus 2. London Math. Soc. Lecture Note Ser. 1996, vol. 230. Cambridge Univ. Press, Cambridge.
8. C. Cocks, R. Pinch, Identity-based cryptosystems based on the Weil pairing, unpublished manuscript, 2001, while this manuscript is generally unavailable, the main result appears as Theorem 4.1 of [13].
9. Diem C. A study on theoretical and practical aspects of Weil-restrictions of varieties PhD dissertation, Universität-Gesamthochschule Essen, 2001, available at. http://www.math.uni-leipzig.de/~diem/preprints/dissertation_diem.ps.
10. Duursma I., Kiyavash N. The vector decomposition problem for elliptic and hyperelliptic curves. J. Ramanujan Math. Soc. 2005, 20:59-76.
11. Freeman D. A generalized Brezing-Weng algorithm for constructing pairing-friendly ordinary abelian varieties. Lecture Notes in Comput. Sci. 2008, vol. 5209:146-163. Springer.
12. Freeman D.M., Satoh T. Supplement to 'Constructing pairing-friendly hyperelliptic curves using Weil restriction' 2010, available at. http://cs.stanford.edu/~dfreeman/papers/freeman-satoh-supp.pdf.
13. Freeman D., Scott M., Teske E. A taxonomy of pairing-friendly elliptic curves. J. Cryptology 2010, 23:224-280.
14. Freeman D., Stevenhagen P., Streng M. Abelian varieties with prescribed embedding degree. Lecture Notes in Comput. Sci. 2008, vol. 5011:60-73. Springer.
15. Frey G., Kani E., Völklein H. Curves with infinite K-rational geometric fundamental group. London Math. Soc. Lecture Note Ser. 1999, vol. 256:85-118. Cambridge Univ. Press, Cambridge.
16. Furukawa E., Kawazoe M., Takahashi T. Counting points for hyperelliptic curves of type y2=x5+ax over finite prime fields. Lecture Notes in Comput. Sci. 2004, vol. 3006:26-41. Springer.
17. Galbraith S.D., Harrison M., Morales D.J.M. Efficient hyperelliptic arithmetic using balanced representation for divisors. Lecture Notes in Comput. Sci. 2008, vol. 5011:342-356. Springer.
18. Galbraith S.D., Lin X., Morales D.J.M. Pairings on hyperelliptic curves with a real model. Lecture Notes in Comput. Sci. 2008, vol. 5209:265-281. Springer.
19. Galbraith S., Lin X., Scott M. Endomorphisms for faster elliptic curve cryptography on a large class of curves. Lecture Notes in Comput. Sci. 2009, vol. 5479:518-535. Springer.
20. Gaudry P., Schost É. On the invariants of the quotients of the Jacobian of a curve of genus 2. Lecture Notes in Comput. Sci. 2001, vol. 2227:373-386. Springer.
21. Gaudry P., Schost É. Construction of secure random curves of genus 2 over prime fields. Lecture Notes in Comput. Sci. 2004, vol. 3027:239-256. Springer.
22. Hitt L. On the minimal embedding field. Lecture Notes in Comput. Sci. 2007, vol. 4575:294-301. Springer.
23. Kawazoe M., Takahashi T. Pairing-friendly hyperelliptic curves with ordinary Jacobians of type y2=x5+ax. Lecture Notes in Comput. Sci. 2008, vol. 5209:164-177. Springer.
24. Lang S. Elliptic Functions. Grad. Texts in Math. 1987, vol. 112. Springer-Verlag, New York. second ed.
25. Maisner D., Nart E. Abelian surfaces over finite fields as Jacobians. Experiment. Math. 2002, 11:321-337. with an appendix by Everett W. Howe.
26. Mazur B., Rubin K., Silverberg A. Twisting commutative algebraic groups. J. Algebra 2007, 314:419-438.
27. Paterson K. Cryptography from pairings. Advances in Elliptic Curve Cryptography 2005, 215-251. Cambridge Univ. Press. I.F. Blake, G. Seroussi, N.P. Smart (Eds.).
28. Rubin K., Silverberg A. Using primitive subgroups to do more with fewer bits. Lecture Notes in Comput. Sci. 2004, vol. 3076:18-41. Springer.
29. Rubin K., Silverberg A. Using abelian varieties to improve pairing-based cryptography. J. Cryptology 2009, 22:330-364.
30. Rubin K., Silverberg A. Choosing the correct elliptic curve in the CM method. Math. Comp. 2010, 79:545-561.
31. Satoh T. Generating genus two hyperelliptic curves over large characteristic finite fields. Lecture Notes in Comput. Sci. 2009, vol. 5479:536-553. Springer.
32. Silverman J. Advanced Topics in the Arithmetic of Elliptic Curves. Grad. Texts in Math. 1994, vol. 151. Springer-Verlag, New York.
33. Sutherland A. Computing Hilbert class polynomials with the Chinese remainder theorem Math. Comp. (2009), in press, available at. http://arxiv.org/abs/0903.2785.
34. Tate J. Endomorphisms of abelian varieties over finite fields. Invent. Math. 1966, 2:134-144.
35. Tate J. Classes d'isogénie des variétés abéliennes sur un corps fini (d'après T. Honda). Lecture Notes in Math. 1971, vol. 179:95-110. Springer.
36. van Wamelen P. Examples of genus two CM curves defined over the rationals. Math. Comp. 1999, 68:307-320.
37. Waterhouse W.C. Abelian varieties over finite fields. Ann. Sci. École Norm. Sup. (4) 1969, 2:521-560.
38. Weil A. Adèles and Algebraic Groups. Progr. Math. 1982, vol. 23. Birkhäuser, Boston, with appendices by M. Demazure and Takashi Ono.