Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP article: The Group Law for Elliptic Cu...

view this post on Zulip Email Gateway (Aug 22 2022 at 15:10):

From: "Thiemann, Rene" <Rene.Thiemann@uibk.ac.at>
Dear all,

I’m happy to announce a new AFP entry in the domain of encryption.

The Group Law for Elliptic Curves
by Stefan Berghofer

We prove the group law for elliptic curves in Weierstrass form over fields of
characteristic greater than 2. In addition to affine coordinates, we also
formalize projective coordinates, which allow for more efficient computations.
By specializing the abstract formalization to prime fields, we can apply the
curve operations to parameters used in standard security protocols.

https://www.isa-afp.org/entries/Elliptic_Curves_Group_Law.shtml

Enjoy,
René

Last updated: Nov 21 2024 at 12:39 UTC