Elliptic curve primality tests for Fermat and related primes

We use elliptic curves with complex multiplication to develop primality tests for Fermat primes and for primes of the form ℓ23−2ℓ−13+1 and ℓ22−2ℓ−12+1.