Sciweavers

163 search results - page 2 / 33
» Computationally Convincing Proofs of Knowledge
Sort
View
ASIACRYPT
2000
Springer
15 years 8 months ago
Increasing the Power of the Dealer in Non-interactive Zero-Knowledge Proof Systems
Abstract. We introduce weaker models for non-interactive zero knowledge, in which the dealer is not restricted to deal a truly random string and may also have access to the input t...
Danny Gutfreund, Michael Ben-Or
167
Voted
ECCC
2006
96views more  ECCC 2006»
15 years 4 months ago
An Unconditional Study of Computational Zero Knowledge
We prove a number of general theorems about ZK, the class of problems possessing (computational) zero knowledge proofs. Our results are unconditional, in contrast to most previous...
Salil P. Vadhan
118
Voted
ICTCS
2007
Springer
15 years 10 months ago
On Defining Proofs of Knowledge in the Bare Public Key Model
Giovanni Di Crescenzo, Ivan Visconti
CSFW
2012
IEEE
13 years 6 months ago
Generic Indifferentiability Proofs of Hash Designs
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
Marion Daubignard, Pierre-Alain Fouque, Yassine La...
157
Voted
FOCS
2002
IEEE
15 years 9 months ago
Zero-Knowledge
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...
Oded Goldreich