An analysis of efficient formulas for elliptic curve point addition over binary extension fields | IEEE Conference Publication | IEEE Xplore