International Association for Cryptologic Research

International Association
for Cryptologic Research


Paper: On Tightly Secure Primitives in the Multi-instance Setting

Dennis Hofheinz
Ngoc Khanh Nguyen
DOI: 10.1007/978-3-030-17253-4_20
Search ePrint
Search Google
Conference: PKC 2019
Abstract: We initiate the study of general tight reductions in cryptography. There already exist a variety of works that offer tight reductions for a number of cryptographic tasks, ranging from encryption and signature schemes to proof systems. However, our work is the first to provide a universal definition of a tight reduction (for arbitrary primitives), along with several observations and results concerning primitives for which tight reductions have not been known.Technically, we start from the general notion of reductions due to Reingold, Trevisan, and Vadhan (TCC 2004), and equip it with a quantification of the respective reduction loss, and a canonical multi-instance extension to primitives. We then revisit several standard reductions whose tight security has not yet been considered. For instance, we revisit a generic construction of signature schemes from one-way functions, and show how to tighten the corresponding reduction by assuming collision-resistance from the used one-way function. We also obtain tightly secure pseudorandom generators (by using suitable rerandomisable hard-core predicates), and tightly secure lossy trapdoor functions.
  title={On Tightly Secure Primitives in the Multi-instance Setting},
  booktitle={Public-Key Cryptography – PKC 2019},
  series={Lecture Notes in Computer Science},
  author={Dennis Hofheinz and Ngoc Khanh Nguyen},