Explicit Frobenius lifts on elliptic curves