more efficient constructions of timed cryptographic primitives