Computing the cardinality of CM elliptic curves using torsion points

Let (formula presented) be an elliptic curve having complex multiplication by a given quadratic order of an imaginary quadratic field K. The field of definition of ε is the ring class field Ω of the order. If the prime p splits completely in Ω, then we can reduce ε modulo one the factors of p and get a curve E defined over F_p. The trace of the Frobenius of E is known up to sign and we need a fast way to find this sign, in the context of the Elliptic Curve Primality Proving algorithm (ECPP). For this purpose, we propose to use the action of the Frobenius on torsion points of small order built with class invariants generalizing the classical Weber functions.