Login | Register

Contamination in Cryptographic Protocols


Contamination in Cryptographic Protocols

Yang, Nan (2020) Contamination in Cryptographic Protocols. PhD thesis, Concordia University.

[thumbnail of Yang_PhD_S2021.pdf]
Text (application/pdf)
Yang_PhD_S2021.pdf - Accepted Version
Available under License Spectrum Terms of Access.


We discuss a foundational issue in multi-prover interactive proofs (MIP) which we call "contamination" by the verifier. We propose a model which accounts for, and controls, verifier contamination, and show that this model does not lose expressive power. A new characterization of zero-knowledge naturally follows. We show the usefulness of this model by constructing a practical MIP for NP where the provers are spatially separated. Finally, we relate our model to the practical problem of e-voting by constructing a functional voter roster based on distributed trust.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (PhD)
Authors:Yang, Nan
Institution:Concordia University
Degree Name:Ph. D.
Program:Computer Science
Date:6 August 2020
Thesis Supervisor(s):Clark, Jeremy and Crepeau, Claude
ID Code:988047
Deposited By: NAN YANG
Deposited On:29 Jun 2021 20:56
Last Modified:29 Jun 2021 20:56
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top