Efficient Arithmetic in Finite Field Extensions with Application in Elliptic Curve Cryptography