Login / Signup
David Kurniadi Angdinata
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Formal Proof
Lightweight
Diffie Hellman
Elliptic Curve
Top Venues
ITP
CoRR
</>
Publications
</>
David Kurniadi Angdinata
,
Junyan Xu
An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in Any Characteristic.
ITP
(2023)
David Kurniadi Angdinata
,
Junyan Xu
An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in any Characteristic.
CoRR
(2023)