Engineering↗
Atkin-Morain Elliptic Curve Primality Proving
ECPP: using complex multiplication to construct curves of known order, avoiding point counting entirely.
Every page in the KEVOS library tagged Atkin-Morain. 2 pages.
ECPP: using complex multiplication to construct curves of known order, avoiding point counting entirely.
Goldwasser-Kilian and Atkin-Morain elliptic curve primality proving: the group order downstep, the CM method for avoiding point counting, certificate structure and verification.