{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T00:30:55Z","timestamp":1764981055625,"version":"3.46.0"},"reference-count":32,"publisher":"Walter de Gruyter GmbH","issue":"1","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,2,14]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    We characterize the possible groups\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_001.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi>E<\/m:mi>\n                          <m:mrow>\n                            <m:mo>(<\/m:mo>\n                            <m:mrow>\n                              <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                              <m:mo>\u2215<\/m:mo>\n                              <m:mi>N<\/m:mi>\n                              <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                            <\/m:mrow>\n                            <m:mo>)<\/m:mo>\n                          <\/m:mrow>\n                        <\/m:math>\n                        <jats:tex-math>E\\left({\\mathbb{Z}}\/N{\\mathbb{Z}})<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    arising from elliptic curves over\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_002.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                          <m:mo>\u2215<\/m:mo>\n                          <m:mi>N<\/m:mi>\n                          <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                        <\/m:math>\n                        <jats:tex-math>{\\mathbb{Z}}\/N{\\mathbb{Z}}<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    in terms of the groups\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_003.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi>E<\/m:mi>\n                          <m:mrow>\n                            <m:mo>(<\/m:mo>\n                            <m:mrow>\n                              <m:msub>\n                                <m:mrow>\n                                  <m:mi mathvariant=\"double-struck\">F<\/m:mi>\n                                <\/m:mrow>\n                                <m:mrow>\n                                  <m:mi>p<\/m:mi>\n                                <\/m:mrow>\n                              <\/m:msub>\n                            <\/m:mrow>\n                            <m:mo>)<\/m:mo>\n                          <\/m:mrow>\n                        <\/m:math>\n                        <jats:tex-math>E\\left({{\\mathbb{F}}}_{p})<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    , with\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_004.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi>p<\/m:mi>\n                        <\/m:math>\n                        <jats:tex-math>p<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    varying among the prime divisors of\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_005.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi>N<\/m:mi>\n                        <\/m:math>\n                        <jats:tex-math>N<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    . This classification is achieved by showing that the infinity part of any elliptic curves over\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_006.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                          <m:mo>\u2215<\/m:mo>\n                          <m:msup>\n                            <m:mrow>\n                              <m:mi>p<\/m:mi>\n                            <\/m:mrow>\n                            <m:mrow>\n                              <m:mi>e<\/m:mi>\n                            <\/m:mrow>\n                          <\/m:msup>\n                          <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                        <\/m:math>\n                        <jats:tex-math>{\\mathbb{Z}}\/{p}^{e}{\\mathbb{Z}}<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    is a\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_007.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                          <m:mo>\u2215<\/m:mo>\n                          <m:msup>\n                            <m:mrow>\n                              <m:mi>p<\/m:mi>\n                            <\/m:mrow>\n                            <m:mrow>\n                              <m:mi>e<\/m:mi>\n                            <\/m:mrow>\n                          <\/m:msup>\n                          <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                        <\/m:math>\n                        <jats:tex-math>{\\mathbb{Z}}\/{p}^{e}{\\mathbb{Z}}<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    -torsor, of which a generator is exhibited. As a first consequence, when\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_008.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi>E<\/m:mi>\n                          <m:mrow>\n                            <m:mo>(<\/m:mo>\n                            <m:mrow>\n                              <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                              <m:mo>\u2215<\/m:mo>\n                              <m:mi>N<\/m:mi>\n                              <m:mi mathvariant=\"double-struck\">Z<\/m:mi>\n                            <\/m:mrow>\n                            <m:mo>)<\/m:mo>\n                          <\/m:mrow>\n                        <\/m:math>\n                        <jats:tex-math>E\\left({\\mathbb{Z}}\/N{\\mathbb{Z}})<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    is a\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_009.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi>p<\/m:mi>\n                        <\/m:math>\n                        <jats:tex-math>p<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    -group, we provide an explicit and sharp bound on its rank. As a second consequence, when\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_010.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi>N<\/m:mi>\n                          <m:mo>=<\/m:mo>\n                          <m:msup>\n                            <m:mrow>\n                              <m:mi>p<\/m:mi>\n                            <\/m:mrow>\n                            <m:mrow>\n                              <m:mi>e<\/m:mi>\n                            <\/m:mrow>\n                          <\/m:msup>\n                        <\/m:math>\n                        <jats:tex-math>N={p}^{e}<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    is a prime power and the projected curve\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_jmc-2023-0025_eq_011.png\"\/>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <m:mi>E<\/m:mi>\n                          <m:mrow>\n                            <m:mo>(<\/m:mo>\n                            <m:mrow>\n                              <m:msub>\n                                <m:mrow>\n                                  <m:mi mathvariant=\"double-struck\">F<\/m:mi>\n                                <\/m:mrow>\n                                <m:mrow>\n                                  <m:mi>p<\/m:mi>\n                                <\/m:mrow>\n                              <\/m:msub>\n                            <\/m:mrow>\n                            <m:mo>)<\/m:mo>\n                          <\/m:mrow>\n                        <\/m:math>\n                        <jats:tex-math>E\\left({{\\mathbb{F}}}_{p})<\/jats:tex-math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    has trace one, we provide an isomorphism attack to the elliptic curve discrete logarithm problem, which works only by means of finite ring arithmetic.\n                  <\/jats:p>","DOI":"10.1515\/jmc-2023-0025","type":"journal-article","created":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T08:12:26Z","timestamp":1707898346000},"source":"Crossref","is-referenced-by-count":0,"title":["Group structure of elliptic curves over\n                    <i>\u2124<\/i>\n                    \/\n                    <i>N\u2124<\/i>"],"prefix":"10.1515","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7266-5146","authenticated-orcid":false,"given":"Massimiliano","family":"Sala","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Trento , Via Sommarive 14 , 38123 Povo , Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3402-4863","authenticated-orcid":false,"given":"Daniele","family":"Taufer","sequence":"additional","affiliation":[{"name":"KU Leuven, Numerical Analysis and Applied Mathematics (NUMA), Celestijnenlaan 200a , 3001 Leuven , Belgium"}]}],"member":"374","published-online":{"date-parts":[[2024,2,14]]},"reference":[{"key":"2025120600265547518_j_jmc-2023-0025_ref_001","doi-asserted-by":"crossref","unstructured":"Breuil C, Conrad B, Diamond F, Taylor R. On the modularity of elliptic curves over Q: wild 3-adic exercises. J Amer Math Soc. 2001;14:843\u2013939.","DOI":"10.1090\/S0894-0347-01-00370-8"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_002","doi-asserted-by":"crossref","unstructured":"Merel L. Bornes pour la torsion des courbes elliptiques sur les corps de nombres. Invent Math. 1996;124:437\u201349.","DOI":"10.1007\/s002220050059"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_003","unstructured":"Mordell LJ. On the rational solutions of the indeterminate equations of the third and fourth degrees. Proc Camb Phil Soc. 1922;21:179\u201392."},{"key":"2025120600265547518_j_jmc-2023-0025_ref_004","doi-asserted-by":"crossref","unstructured":"Wiles A. Modular elliptic curves and Fermat\u2019s last theorem. Ann Math. 1995;142:443\u2013551.","DOI":"10.2307\/2118559"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_005","unstructured":"Bosma W. Primality testing using elliptic curves. Math Instituut, Univ Amsterdam, volume Tech Rep. 1985. p. 85\u201312."},{"key":"2025120600265547518_j_jmc-2023-0025_ref_006","doi-asserted-by":"crossref","unstructured":"Schoof R. Elliptic curves over finite fields and the computation of square roots mod p. Math Comp. 1985;44:483\u201394.","DOI":"10.1090\/S0025-5718-1985-0777280-6"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_007","doi-asserted-by":"crossref","unstructured":"Johnson D, Menezes A, Vanstone S. The Elliptic Curve Digital Signature Algorithm (ECDSA). Int J Inf Secur. 2001;1:36\u201363.","DOI":"10.1007\/s102070100002"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_008","doi-asserted-by":"crossref","unstructured":"Koblitz N. Elliptic curve cryptosystems. Math Comp. 1987;48:203\u20139.","DOI":"10.1090\/S0025-5718-1987-0866109-5"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_009","doi-asserted-by":"crossref","unstructured":"Miller VS. Use of elliptic curves in cryptography. Adv Cryptol. 1985;218:417\u201326.","DOI":"10.1007\/3-540-39799-X_31"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_010","doi-asserted-by":"crossref","unstructured":"Shparlinski IE. Pseudorandom number generators from elliptic curves. Contemp Math. 2009;477:121\u201342.","DOI":"10.1090\/conm\/477\/09305"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_011","doi-asserted-by":"crossref","unstructured":"Silverman JH. The arithmetic of elliptic curves, Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4757-1920-8"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_012","unstructured":"Washington LC. Elliptic curves, number theory and cryptography. London: Chapman & Hall\/CRC; 2008."},{"key":"2025120600265547518_j_jmc-2023-0025_ref_013","doi-asserted-by":"crossref","unstructured":"Husem\u00f6ller D. Elliptic curves. Graduate Texts in Mathematics. Vol. 111. Berlin: Springer-Verlag; 1987.","DOI":"10.1007\/978-1-4757-5119-2"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_014","doi-asserted-by":"crossref","unstructured":"R\u00fcck HG. A note on elliptic curves over finite fields. Math Comp. 1987;49:301\u20134.","DOI":"10.1090\/S0025-5718-1987-0890272-3"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_015","doi-asserted-by":"crossref","unstructured":"Voloch JF. A note on elliptic curves over finite fields. Bull Soc Math France. 1988;116:455\u20138.","DOI":"10.24033\/bsmf.2107"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_016","doi-asserted-by":"crossref","unstructured":"Banks WD, Pappalardi F, Shparlinski IE. On group structures realized by elliptic curves over arbitrary finite fields. Experiment Math. 2012;21:11\u201325.","DOI":"10.1080\/10586458.2011.606075"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_017","doi-asserted-by":"crossref","unstructured":"Kohel DR, Shparlinski IE. On exponential sums and group generators for elliptic curves over finite fields. Lecture Notes Comput Sci. 2000;21:395\u2013404.","DOI":"10.1007\/10722028_24"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_018","unstructured":"Sala M, Taufer D. A survey on the group of points arising from elliptic curves with a Weierstrass model over a ring. Int J Group Theory. 2023;12:177\u201396."},{"key":"2025120600265547518_j_jmc-2023-0025_ref_019","unstructured":"Lenstra HW. Elliptic curves and number-theoretic algorithms. Proceedings of the International Congress of Mathematicians; 1986. p. 99\u2013120."},{"key":"2025120600265547518_j_jmc-2023-0025_ref_020","doi-asserted-by":"crossref","unstructured":"Lenstra HW. Factoring integers with elliptic curves. Ann Math. 1987;126:649\u201373.","DOI":"10.2307\/1971363"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_021","doi-asserted-by":"crossref","unstructured":"Koyama K, Maurer UM, Okamoto T, Vanstone SA. New public-key schemes based on elliptic curves over the ring Zn. Adv Cryptol. 1991;576:252\u201366.","DOI":"10.1007\/3-540-46766-1_20"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_022","doi-asserted-by":"crossref","unstructured":"Sala M, Taufer D. Elliptic loops. J Pure Appl Algebra. 2023;227(12):107417.","DOI":"10.1016\/j.jpaa.2023.107417"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_023","doi-asserted-by":"crossref","unstructured":"Invernizzi R, Taufer D. Multiplication polynomials for elliptic curves over finite local rings. In ACM\u2019s International Conference Proceedings Series (ISSAC 2023); 2023. p. 335\u201344.","DOI":"10.1145\/3597066.3597068"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_024","unstructured":"Satoh T, Araki K. Fermat quotients and the polynomial time discrete log algorithm for anomalous elliptic curves. Comm Math Univ Sancti Pauli. 1998;47:81\u201392."},{"key":"2025120600265547518_j_jmc-2023-0025_ref_025","doi-asserted-by":"crossref","unstructured":"Smart N. The discrete logarithm on elliptic curves of trace one. J Cryptology. 1999;12:193\u20136.","DOI":"10.1007\/s001459900052"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_026","doi-asserted-by":"crossref","unstructured":"Waterhouse WC. Abelian varieties over finite fields. Ann. Sci. \u00c9cole Norm. Sup. 1969;4:521\u201360.","DOI":"10.24033\/asens.1183"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_027","unstructured":"Brown WC. Matrices over commutative rings. New York: Marcel Dekker; 1986."},{"key":"2025120600265547518_j_jmc-2023-0025_ref_028","doi-asserted-by":"crossref","unstructured":"Bosma W, Lenstra HW. Complete systems of two addition laws for elliptic curves. J Number Theory. 1995;53:229\u201340.","DOI":"10.1006\/jnth.1995.1088"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_029","doi-asserted-by":"crossref","unstructured":"Lange H, Ruppert W. Complete systems of addition laws on abelian varieties. Invent Math. 1985;79:603\u201310.","DOI":"10.1007\/BF01388526"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_030","doi-asserted-by":"crossref","unstructured":"Semaev IA. Evaluation of discrete logarithms in a group of p-torsion points of an elliptic curve in characteristic p. Math Comp. 1998;67:353\u20136.","DOI":"10.1090\/S0025-5718-98-00887-4"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_031","doi-asserted-by":"crossref","unstructured":"Lepr\u00e9vost F, Monnerat J, Varrette S, Vaudenay S. Generating anomalous elliptic curves. Inform Process Lett. 2005;93:225\u201330.","DOI":"10.1016\/j.ipl.2004.11.008"},{"key":"2025120600265547518_j_jmc-2023-0025_ref_032","doi-asserted-by":"crossref","unstructured":"Bosma W, Cannon J, Playoust C. The Magma algebra system. I. The user language. J Symbolic Comput. 1997;24:235\u201365.","DOI":"10.1006\/jsco.1996.0125"}],"container-title":["Journal of Mathematical Cryptology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyterbrill.com\/document\/doi\/10.1515\/jmc-2023-0025\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyterbrill.com\/document\/doi\/10.1515\/jmc-2023-0025\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T00:27:17Z","timestamp":1764980837000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyterbrill.com\/document\/doi\/10.1515\/jmc-2023-0025\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,1]]},"references-count":32,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2024,3,6]]},"published-print":{"date-parts":[[2024,3,6]]}},"alternative-id":["10.1515\/jmc-2023-0025"],"URL":"https:\/\/doi.org\/10.1515\/jmc-2023-0025","relation":{},"ISSN":["1862-2984"],"issn-type":[{"type":"electronic","value":"1862-2984"}],"subject":[],"published":{"date-parts":[[2024,1,1]]},"article-number":"20230025"}}