A Formal Library for Elliptic Curves in the Coq Proof Assistant.

Evmorfia-Iro Bartzia Pierre-Yves Strub

Published in: ITP (2014)

Keyphrases

elliptic curve
theorem prover
formal methods
scalar multiplication
test bed
elliptic curve cryptography
digital signature
key management
diffie hellman
public key cryptography
first order logic
formal specification
key distribution
modular exponentiation
formal model
efficient computation
public key cryptosystems