An analysis of efficient formulas for elliptic curve point addition over binary extension fields.