A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
TARDIS: Time And Relative Delays In Simulation
[article]
2020
IACR Cryptology ePrint Archive
This work introduces an extension of the UC framework with an abstract notion of time that allows for modeling relative delays in communication and sequential computation without requiring parties to keep track of a clock. The potential uses of this extension are demonstrated by: (1) formalizing a functionality for (semi-)synchronous secure message transmission; (2) formalizing the notion of time-lock puzzles (i.e. timed commitments) in the UC setting and showing how to realize it in the
dblp:journals/iacr/BaumDDNO20
fatcat:rls6nmcdmncm3bds3vzlo6u6uq