Faster Scalar Multiplication on Koblitz Curves Combining Point Halving with the Frobenius Endomorphism