A Computationally Surveyable Proof of the Group Properties of an Elliptic Curve

We present an elementary proof of the group properties of the elliptic curve known as "Curve25519", as a component of a comprehensive proof of correctness of a hardware implementation of the associated Diffie-Hellman key agreement algorithm. The entire proof has been formalized and mechani...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2017-05
1. Verfasser:	Russinoff, David M
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Computer Science - Cryptography and Security Curves Mathematics - Number Theory Programming languages
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!