Time reveals the truth : more efficient constructions of timed cryptographic primitives / Peter Chvojka