C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in Any Characteristic.
David Kurniadi Angdinata
Junyan Xu
Published in:
ITP (2023)
Keyphrases
</>
formal proof
elliptic curve
theorem prover
power analysis
elliptic curve cryptography
scalar multiplication
public key cryptography
real time
digital libraries
sensor networks
temporal constraints
efficient computation
diffie hellman