A Verified Extensible Library of Elliptic Curves.

Jean Karim Zinzindohoue Evmorfia-Iro Bartzia Karthikeyan Bhargavan

Published in: CSF (2016)

Keyphrases

elliptic curve
scalar multiplication
diffie hellman
elliptic curve cryptography
digital signature
efficient computation
key management
public key cryptography
modular exponentiation
data model
markup language
key distribution
public key cryptosystems