## Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology (2003)

Venue: | Theory of Cryptography - TCC 2004, Lecture Notes in Computer Science |

Citations: | 10 - 1 self |

### BibTeX

@INPROCEEDINGS{Maurer03indifferentiability,impossibility,

author = {Ueli Maurer and Renato Renner and Clemens Holenstein},

title = {Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology},

booktitle = {Theory of Cryptography - TCC 2004, Lecture Notes in Computer Science},

year = {2003},

pages = {21--39},

publisher = {Springer-Verlag}

}

### OpenURL

### Abstract

The goals of this paper are three-fold. First we introduce and motivate a generalization of the fundamental concept of the indistinguishability of two systems, called indifferentiability. This immediately leads to a generalization of the related notion of reducibility of one system to another. Second, we prove that...

### Citations

1440 | Random Oracles are Practical: A Paradigm for Designing Efficient
- Bellare, Rogaway
- 1993
(Show Context)
Citation Context ...ple for a system, which we will consider more closely, is the random oracle. Its importance in cryptography is due to the so called random oracle methodology,srst made explicit by Bellare and Rogaway =-=[1]-=-, where the security of cryptosystems is proven under the assumption that any party has access to a random oracle. The methodology has later been used in many papers (e.g. [7, 8, 15, 11, 1, 10, 2, 14]... |

894 | How to prove yourself: Practical solutions to identication and signature problems
- Fiat, Shamir
- 1986
(Show Context)
Citation Context ...t by Bellare and Rogaway [1], where the security of cryptosystems is proven under the assumption that any party has access to a random oracle. The methodology has later been used in many papers (e.g. =-=[7, 8, 15, 11, 1, 10, 2, 14-=-]). A (binary) random oracle R can be thought of as an innite sequence R 1 ; R 2 ; : : : of random bits where the nth bit R n can be accessed in constant time. We also introduce a slightly weaker prim... |

677 | Universally composable security: a new paradigm for cryptographic protocols. Cryptology ePrint Archive
- Canetti
(Show Context)
Citation Context ... security of cryptosystems, i.e., it needs to be specied what it means for a cryptosystem C to be at least as secure as another cryptosystem C 0 . Our denition is based on ideas proposed by Canetti [3=-=, 4-=-], and by Ptzmann and Waidner [12, 13] (for the case of static adversaries), adapted to our general notion of systems. Informally, a cryptosystem C is said to be at least as secure as another cryptosy... |

630 |
Efcient signature generation by smart cards
- Schnorr
- 1991
(Show Context)
Citation Context ...t by Bellare and Rogaway [1], where the security of cryptosystems is proven under the assumption that any party has access to a random oracle. The methodology has later been used in many papers (e.g. =-=[7, 8, 15, 11, 1, 10, 2, 14-=-]). A (binary) random oracle R can be thought of as an innite sequence R 1 ; R 2 ; : : : of random bits where the nth bit R n can be accessed in constant time. We also introduce a slightly weaker prim... |

417 | Security and Composition of Multiparty Cryptographic Protocols
- Canetti
(Show Context)
Citation Context ... security of cryptosystems, i.e., it needs to be specied what it means for a cryptosystem C to be at least as secure as another cryptosystem C 0 . Our denition is based on ideas proposed by Canetti [3=-=, 4-=-], and by Ptzmann and Waidner [12, 13] (for the case of static adversaries), adapted to our general notion of systems. Informally, a cryptosystem C is said to be at least as secure as another cryptosy... |

357 | The exact security of digital signature – how to sign with RSA
- Bellare, Rogaway
- 1996
(Show Context)
Citation Context ...t by Bellare and Rogaway [1], where the security of cryptosystems is proven under the assumption that any party has access to a random oracle. The methodology has later been used in many papers (e.g. =-=[7, 8, 15, 11, 1, 10, 2, 14-=-]). A (binary) random oracle R can be thought of as an innite sequence R 1 ; R 2 ; : : : of random bits where the nth bit R n can be accessed in constant time. We also introduce a slightly weaker prim... |

260 | The random oracle methodology, revisited
- Canetti, Goldreich, et al.
(Show Context)
Citation Context ...a class of functions). In contrast to pseudo-randomness (where the parameter is secret), no hash function can implement a random oracle in the above sense, as proved by Canetti, Goldreich, and Halevi =-=[5-=-]. In other words, there exists a cryptosystem C() such that C(R) is secure while C(H(F)) is insecure for any hash algorithm H. It is important to note that the formalization of this second example is... |

225 | Security Proofs for Signature Schemes
- Pointcheval, Stern
- 1996
(Show Context)
Citation Context |

158 | A model for asynchronous reactive systems and its application to secure message transmission
- Pfitzmann, Waidner
(Show Context)
Citation Context ... needs to be specied what it means for a cryptosystem C to be at least as secure as another cryptosystem C 0 . Our denition is based on ideas proposed by Canetti [3, 4], and by Ptzmann and Waidner [12=-=, 13]-=- (for the case of static adversaries), adapted to our general notion of systems. Informally, a cryptosystem C is said to be at least as secure as another cryptosystem C 0 if for all attackers A on C t... |

49 |
CS Proofs
- Micali
- 1994
(Show Context)
Citation Context |

46 | Indistinguishability of random systems
- Maurer
- 2002
(Show Context)
Citation Context ...f (cryptographic) components or resources as well as the parties interacting with them can be characterized as systems. For their representation, we will basically adapt the terminology introduced in =-=[9]-=-. A (X ; Y)-system is a sequence of conditional probability distributions P Y i jX i Y i 1 (for i 2 N) where X i := [X 1 ; : : : ; X i ] and Y i 1 := [Y 1 ; : : : ; Y i 1 ] and where X i , called the ... |

22 | On the random-oracle methodology as applied to length-restricted signature schemes - Canetti, Goldreich, et al. - 2004 |

18 |
Composition and integrity preservation of secure reactive systems
- P¯tzmann, Waidner
- 2000
(Show Context)
Citation Context ... needs to be specied what it means for a cryptosystem C to be at least as secure as another cryptosystem C 0 . Our denition is based on ideas proposed by Canetti [3, 4], and by Ptzmann and Waidner [12=-=, 13]-=- (for the case of static adversaries), adapted to our general notion of systems. Informally, a cryptosystem C is said to be at least as secure as another cryptosystem C 0 if for all attackers A on C t... |

11 |
A practical zeroknowledge protocol to security microprocessor minimizing both transmission and memory
- Guillou, Quisquater
- 1988
(Show Context)
Citation Context |

11 |
Provably Secure and Practical Identi Schemes and Corresponding Signature Schemes
- Okamoto
- 1992
(Show Context)
Citation Context |