International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Lifting Standard Model Reductions to Common Setup Assumptions

Authors:
Eftychios Theodorakis , Dicrypt
Bogdan Warinschi , DFINITY Foundation, University of Bristol
Ngoc Khanh Nguyen , IBM Research Europe -- Zurich and ETH Zurich
Download:
Search ePrint
Search Google
Presentation: Slides
Conference: PKC 2022
Abstract: In this paper we show that standard model black-box reductions naturally lift to various setup assumptions, such as the random oracle (ROM) or ideal cipher model. Concretely, we prove that a black-box reduction from a security notion $P$ to security notion $Q$ in the standard model can be turned into a non-programmable black-box reduction from $P_\oracle$ to $Q_\oracle$ in a model with a setup assumption $\oracle$, where $P_\oracle$ and $Q_\oracle$ are the natural extensions of $P$ and $Q$ to a model with a setup assumption $\oracle$. Our results rely on a generalization of the recent framework by Hofheinz and Nguyen (PKC 2019) to support primitives which make use of a trusted setup. Our framework encompasses standard idealized settings like the random oracle and the ideal cipher model. At the core of our main result lie novel properties of negligible functions that can be of independent interest.
Video from PKC 2022
BibTeX
@inproceedings{pkc-2022-31730,
  title={Lifting Standard Model Reductions to Common Setup Assumptions},
  publisher={Springer-Verlag},
  author={Eftychios Theodorakis and Bogdan Warinschi and Ngoc Khanh Nguyen},
  year=2022
}