フタ　ユウイチ   Futa Yuichi   布田　裕一    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   教授
言語種別	英語
発行・発表の年月	2019/10
形態種別	学術論文
査読	査読あり
標題	Operations of Points on Elliptic Curve in Affine Coordinates
執筆形態	共著
掲載誌名	Formalized Mathematics
掲載区分	国外
出版社・発行元	De Gruyter
巻・号・頁	27(3),pp.315-320
著者・共著者	Yuichi Futa, Hiroyuki Okazaki and Yasunari Shidama
概要	In development of cryptosystems, security proof for their security evaluation is necessary. Formal verification with computers is important to avoid error in the proof. In this paper, we formalize a binary operation of points on an elliptic curve over GF(p) in affine coordinates. We show that the operation is unital, complementable and commutative. Elliptic curve cryptography, whose security is based on a difficulty of discrete logarithm problem of elliptic curves, is important for information security.