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

David M. Russinoff

Published in: ACL2 (2017)

Keyphrases

elliptic curve
scalar multiplication
elliptic curve cryptography
digital images
low cost
real time
distributed systems
key management
java card