Record: found
Abstract: not found
Book Chapter: not found

A Formal Library for Elliptic Curves in the Coq Proof Assistant

other

Author(s): Evmorfia-Iro Bartzia , Pierre-Yves Strub

Publication date (Print): 2014

Publisher: Springer International Publishing

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 10

Record: found
Abstract: not found
Book Chapter: not found

Identity-Based Cryptosystems and Signature Schemes

Adi Shamir (1985)

0 comments Cited 332 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Elliptic curve cryptosystems

Neal Koblitz (1987)

0 comments Cited 293 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Use of Elliptic Curves in Cryptography

Victor S. Miller (1986)

0 comments Cited 181 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2014

Pages: 77-92

DOI: 10.1007/978-3-319-08970-6_6

SO-VID: 1afc3628-43ba-474a-bd12-9ae47f87d793

History

Data availability:

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Read this book at

Related collections

Open Library of Humanities

Most cited references 10

Identity-Based Cryptosystems and Signature Schemes

Elliptic curve cryptosystems

Use of Elliptic Curves in Cryptography

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,326

Cited by 3