Designated verifier proofs and their applications

Markus Jakobsson, Kazue Sako, Russell Impagliazzo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

567 Citations (Scopus)

Abstract

For many proofs of knowledge it is important that only the verifier designated by the confirmer can obtain any conviction of the cor- rectness of the proof. A good example of such a situation is for undeniable signatures, where the confirmer of a signature wants to make sure that only the intended verifier(s) in fact can be convinced about the validity or invalidity of the signature. Generally, authentication of messages and off-the-record messages are in conflict with each other. We show how, using designation of verifiers, these notions can be combined, allowing authenticated but privat con- versations to take place. Our solution guarantees that only the specified verifier can be convinced by the proof, even if he shares all his secret information with entities that want to get convinced. Our solution is based on trap-door commitments [4], allowing the desig- nated verifier to open up commitments in any way he wants. We demon- strate how a trap-door commitment scheme can be used to construct designated verifier proofs, both interactive and non-interactive. We ex- amplify the verifier designation method for the confirmation protocol for undeniable signatures.

Original languageEnglish
Title of host publicationAdvances in Cryptology - EUROCRYPT 1996 - International Conference on the Theory and Application of Cryptographic Techniques, Proceedings
EditorsUeli Maurer
PublisherSpringer Verlag
Pages143-154
Number of pages12
ISBN (Print)354061186X, 9783540611868
DOIs
Publication statusPublished - 1996
Externally publishedYes
Event15th International conference on Theory and Application of Cryptographic Techniques, EUROCRYPT 1996 - Saragossa, Spain
Duration: 1996 May 121996 May 16

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1070
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International conference on Theory and Application of Cryptographic Techniques, EUROCRYPT 1996
CountrySpain
CitySaragossa
Period96/5/1296/5/16

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Designated verifier proofs and their applications'. Together they form a unique fingerprint.

  • Cite this

    Jakobsson, M., Sako, K., & Impagliazzo, R. (1996). Designated verifier proofs and their applications. In U. Maurer (Ed.), Advances in Cryptology - EUROCRYPT 1996 - International Conference on the Theory and Application of Cryptographic Techniques, Proceedings (pp. 143-154). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1070). Springer Verlag. https://doi.org/10.1007/3-540-68339-9_13