Shai Halevi Silvio Micali MIT - LCS 545 Technology Square Cambridge, MA...  Home/Search
Context
Related
| mit.edu/pub/people/sha...knowdef.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/~shaih/mypapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Proofs of knowledge are central to cryptographic protocols, and many definitions for such proofs have been proposed. In this work we put forward a new definition, strictly stronger than previous ones, and argue that it captures better the intuition of what proofs of knowledge should be. We show that our definition implies some new and desirable properties. 1 Introduction Proofs of knowledge play a crucial role in cryptographic protocols, and there have been several attempts to "zoom in" on an... (Update)
Similar documents (at the sentence level):
26.4%: More on Proofs of Knowledge - Shai Halevi Silvio (Correct)
Active bibliography (related documents): More All
0.0: Strict Polynomial-time in Simulation and Extraction - Barak, Lindell (2002) (Correct)
0.0: Off-Line Electronic Cash Based on Secret-Key Certificates - Brands (1995) (Correct)
0.0: More Short Signatures without Random Oracles - Wei, Yuen (2006) (Correct)
Similar documents based on text: More All
0.1: Theory and Practice of Verifiable Secret Sharing - Gennaro (1996) (Correct)
0.1: Practical and Provably-Secure Commitment Schemes from.. - Halevi, Micali (1996) (Correct)
0.1: Probabilistic Proof Systems - Part I - Vadhan (2000) (Correct)
BibTeX entry: (Update)
@misc{ halevi-stronger,
author = "Shai Halevi",
title = "A Stronger Notion of Proofs of Knowledge",
url = "citeseer.ist.psu.edu/85458.html" }
Citations (may not include all citations):419 How to Construct Random Functions (context) - Goldreich, Goldwasser et al. - 1986 ACM DBLP
206 Zero-knowledge proofs of identity (context) - Feige, Fiat et al. - 1988 ACM DBLP
63 Witness indistinguishable and witness hiding protocols (context) - Feige, Shamir - 1990
58 On Defining Proofs of Knowledge - Goldreich, Bellare - 1992 ACM DBLP
2 A Secure Protocol for Oblivious Transfer (Extended Abstract (context) - Fischer, Micali et al. - 1996
Documents on the same site (http://theory.lcs.mit.edu/~shaih/mypapers.html): More
Practical and Provably-Secure Commitment Schemes from.. - Halevi, Micali (1996) (Correct)
Potential Function Analysis of Greedy Hot-Potato Routing .. - Ben-Dor, Halevi.. (1994) (Correct)
Zero-One Permanent is #P-Complete, A Simpler Proof - Ben-Dor, Halevi (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC