TARDIS: A Foundation of Time-Lock Puzzles in UC

TARDIS: A Foundation of Time-Lock Puzzles in UC

Cybersecurity Seminars Online seminar
Thursday, 15 April 2021
12 pm - 1 pm (AEST)

Time-based primitives like time-lock puzzles (TLP) are finding widespread use in practical protocols, partially due to the surge of interest in the blockchain space where TLPs and related primitives are perceived to solve many problems. Unfortunately, the security claims are often shaky or plainly wrong since these primitives are used under composition. One reason is that TLPs are inherently not UC secure and time is tricky to model and use in the UC model. On the other hand, just specifying standalone notions of the intended task, left alone correctly using standalone notions like non-malleable TLPs only, might be hard or impossible for the given task. And even when possible a standalone secure primitive is harder to apply securely in practice afterwards as its behaviour under composition is unclear. The ideal solution would be a model of TLPs in the UC framework to allow simple modular proofs.

In this work, we provide a foundation for proving composable security of practical protocols using time-lock puzzles and related timed primitives in the UC model. We construct UC-secure TLPs based on random oracles and show that using random oracles is necessary. In order to prove security, we provide a simple and abstract way to reason about time in UC protocols. Finally, we demonstrate the usefulness of this foundation by constructing applications that are interesting in their own right, such as UC-secure two-party computation with output-independent abort.

This work will appear at Eurocrypt 2021. Full version available at https://eprint.iacr.org/2020/537.pdf

About the speaker

Rafael Dowsley
Lecturer, Monash University

Rafael Dowsley is a Lecturer in the Department of Software Systems and Cybersecurity of the Faculty of Information Technology at Monash University. His research focuses on cryptography and its abundant intersections with fields such as machine learning, security, privacy and information theory. He has a keen interest on the design of cryptographic protocols to enhance privacy and some of his current investigations are into privacy-preserving machine learning, cryptocurrencies and blockchain technologies.


Event contact

Share this event