I will demonstrate techniques to derive the addition law on an arbitrary elliptic curve. The derived addition laws are applied to provide methods for efficiently adding points. The contributions immediately find applications in cryptology such as the efficiency improvements for elliptic curve scalar multiplication and cryptographic pairing computations. In particular, contributions are made to case of the following five forms of elliptic curves:
These forms are the most promising candidates for efficient computations and thus considered in this talk. Nevertheless, the employed methods are capable of handling arbitrary elliptic curves.