<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we formalize a set of points on an elliptic curve over <bold>GF</bold>(<sub><bold>p</bold></sub>). Elliptic curve cryptography [10], whose security is based on a difficulty of discrete logarithm problem of elliptic curves, is important for information security.</p></abstract>

In this article, we formalize a set of points on an elliptic curve over GF(p). Elliptic curve cryptography [10], whose security is based on a difficulty of discrete logarithm problem of elliptic curves, is important for information security.

Set of Points on Elliptic Curve in Projective Coordinates

Formalized Mathematics

{"article-title":"Set of Points on Elliptic Curve in Projective Coordinates"}

In this article, we formalize a set of points on an elliptic curve over GF(p). Elliptic curve cryptography [10], whose security is based on a difficulty of...

Set of Points on Elliptic Curve in Projective Coordinates

Data publikacji: 26 kwi 2012

Zakres stron: 131 - 138

DOI: https://doi.org/10.2478/v10037-011-0021-6

This content is open access.