Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar

  • Authors:

  • Yuichi Futa;Hiroyuki Okazaki;Yasunari Shidama

  • Affiliations:

  • Interdisciplinary Graduate School of Science and Technology, Shinshu University, Nagano, Japan 380-8553;Graduate School, Division of Science and Technology, Shinshu University, Nagano, Japan;Department of Computer Science & Engineering, Faculty of Engineering, Shinshu University, Nagano, Japan

  • Venue:
  • Journal of Automated Reasoning
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we introduce our formalization of the definitions and theorems related to an elliptic curve over a finite prime field. The elliptic curve is important in an elliptic curve cryptosystem whose security is based on the computational complexity of the elliptic curve discrete logarithm problem.