Pair correlation of torsion points on elliptic curves

We prove the existence of the pair correlation measure associated to torsion points on the real locus E(R) of an elliptic curve E and provide an explicit formula for the limiting pair correlation function.