Foundations of Timed-Release Cryptography

This project aims to establish robust foundations for timed-release cryptography by exploring computational hardness, building block structures, and constructing secure schemes for practical applications.

Subsidie
€ 1.897.685
2023

Projectdetails

Introduction

Cryptography has repeatedly revolutionized modern technology via its "easy-or-infeasible" design paradigm, classifying computations as either "easy" or "infeasible". Nowadays, however, this foundational paradigm is insufficient for a host of rapidly evolving applications, and a fine-grained accounting of sequential timing guarantees is urgently needed.

Timed-Release Cryptography

This has recently led to substantial interest in the classic yet insufficiently explored vision of timed-release cryptography, enabling cryptographic systems to rely on such guarantees realistically. Despite the significant attention, the vision of timed-release cryptography is still alarmingly far, and the landscape of our current knowledge must rapidly change to facilitate its deployment.

Current Challenges

  • Timed-release cryptography suffers from an extreme lack of candidate schemes.
  • The security of its main candidates is provided directly by assumption, with essentially no supporting evidence other than the lack of successful "speed-up" attacks.

Proposal Objectives

This proposal aims to establish robust foundations for timed-release cryptography by obtaining an in-depth understanding of the computational landscape, building blocks, and schemes required for realizing its premise. Specifically, I plan to direct our effort towards addressing the following three fundamental objectives, which span a broad and interdisciplinary flavor of research directions:

  1. Explore sources of computational hardness that enable us to base timed-release cryptography on the hardness of well-studied problems.
  2. Identify the extents to which timed-release primitive building blocks require cryptographic structure and can be utilized in designing more complex schemes.
  3. Construct concrete such schemes offering a wide range of security and functionality guarantees.

Conclusion

I strongly believe that substantial progress towards our objectives will enable us to realize the premise of timed-release cryptography and will have a long-lasting impact on cryptography.

Financiële details & Tijdlijn

Financiële details

Subsidiebedrag€ 1.897.685
Totale projectbegroting€ 1.897.685

Tijdlijn

Startdatum1-2-2023
Einddatum31-1-2028
Subsidiejaar2023

Partners & Locaties

Projectpartners

  • THE HEBREW UNIVERSITY OF JERUSALEMpenvoerder
  • BAR ILAN UNIVERSITY

Land(en)

Israel

Vergelijkbare projecten binnen European Research Council

ERC Consolid...

Decentralized Cryptographic Systems

This project aims to develop robust cryptographic systems that align theoretical models with real-world challenges, enhancing security and efficiency for decentralized infrastructures.

€ 1.998.351
ERC Consolid...

Solid Basis for Symmetric Cryptography

SoBaSyC aims to unify and optimize cryptanalysis techniques for symmetric cryptography, creating a comprehensive toolbox to enhance security and confidence in new cryptographic constructions.

€ 2.000.000
ERC Advanced...

Trust-by-Design – Strong Security Arguments for Symmetric Key Cryptography

The project aims to accelerate the design of secure symmetric cryptographic primitives by enhancing security arguments and developing efficient algorithms for future applications.

€ 2.485.000
ERC Advanced...

Cryptography from Unstructured Hardness

KolmoCrypt aims to establish a new theoretical foundation for provably-secure cryptography using unstructured hardness assumptions from Kolmogorov Complexity to enhance Internet security.

€ 2.496.250
ERC Advanced...

New Frontiers in Information-Theoretic Secure Computation

This project aims to enhance the understanding and efficiency of information-theoretic secure computation through improved secret sharing, secure reductions, and optimized protocols, impacting cryptography and theoretical computer science.

€ 2.113.125