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 ECPP. 3 pages.
ECPP: using complex multiplication to construct curves of known order, avoiding point counting entirely.
The methods available for proving primality, their complexities, and which to use for a given size of candidate.
Goldwasser-Kilian and Atkin-Morain elliptic curve primality proving: the group order downstep, the CM method for avoiding point counting, certificate structure and verification.