NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 13 of 13 for “"Zero knowledge proof"”.

  1. Practical Lattice-Based Zero-Knowledge Proof Systems

    Seiler, GregorETH Zurich2022

    ethz Repository record

  2. Études in non-interactive zero-knowledge

    Shelat, AbhiMassachusetts Institute of Technology2006

    N a ZERO-KNOWLEDGE PROOF [GMR85], Prover interactively convinces Verifier that theorem 7r is true in such a way that (a) a corrupt Prover cannot convince Verifier of a false theorem and (b) a corrupt Verifier cannot "learn" anything other than the fact that r is true. In a NON-INTERACTIVE …

    mit Repository record

  3. Post-Quantum Verifiable Oblivious Pseudorandom Functions

    Propson, HelenMassachusetts Institute of Technology2024

    … limitations of existing approaches by reducing proof sizes. The key component in our work is the integration of an efficient zero-knowledge proof of knowledge (ZKPoK) protocol. This ZKPoK is notably more efficient than the proof systems used in prior VOPRF constructions, ensuring the …

    mit Repository record

  4. Trustworthy Federated Learning Systems: From Secure Distributed Training to Reliable Fine-tuning

    Tianxing Fu (21044168)2026

    … Federated Learning framework with a Zero-Knowledge Proof of Training (ZKPoT) consensus mechanism that enables verifiable and privacy-preserving coordination among distributed participants. In this framework, clients generate zero-knowledge proofs to demonstrate that local model …

    exeter

  5. Signature schemes and applications to cryptographic protocol design

    Lysyanskaya, AnnaMassachusetts Institute of Technology2002

    … is that it admits an efficient protocol for a zero-knowledge proof of knowledge of a signature. Further, we consider the question of revocation of signatures. We obtain an efficient revocation scheme.

    mit Repository record

  6. An ECDSA Nullifier Scheme and a Proof of Identity Application

    Gupta, AayushMassachusetts Institute of Technology2022

    ZK-SNARKs (Zero Knowledge Succinct Noninteractive ARguments of Knowledge) are one of the most promising new applied cryptography tools: proofs allow anyone to prove a property about some data, without revealing that data. Largely spurred by the adoption of cryptographic primitives in blockchain …

    mit Repository record

  7. Teaching AIs to Reason and Code, Confidentially

    Karanjai, Rabimba 1989-University of Houston2025

    … verified by smart contracts, and I demonstrate zero-knowledge-proof workflows that preserve user privacy. To sustain performance, I repurpose Tensor Processing Units as cryptographic accelerators, cutting the latency of homomorphic encryption and zero-knowledge proofs by an order of magnitude. …

    houston Repository record

  8. Efficient Verifiable Computation Made Easy

    Ma, ChengyuanMassachusetts Institute of Technology2025

    … in both industry and academia. In particular, zero-knowledge proof (ZKP) algorithms are gaining rapid traction due to their strong privacy guarantees. However, they are notoriously computationally intensive, making performance a critical concern. Given the inherent data parallelism and heavy …

    mit Repository record

  9. On deploying succinct zero-knowledge proofs

    Virza, MadarsMassachusetts Institute of Technology2017

    Zero-knowledge proofs, introduced by Goldwasser, Micali, and Rackoff, are a fundamental building block in theoretical cryptography with numerous applications. Still, the impact of zero-knowledge proofs for building secure systems in practice has been modest at best. Part of this can be explained by …

    mit Repository record

  10. The space around BQP

    Bouland, Adam MichaelMassachusetts Institute of Technology2017

    … complexity related to the power of statistical-zero knowledge proof systems.

    mit Repository record

  11. Secure and scalable blockchain mechanisms for IoT applications

    Pathak, Aditya KalpeshFaculty of Graduate Studies and Research, University of Regina2025

    … the security of the IoT network by introducing a Zero-Knowledge Proof-based Mutual Authentication (ZPMA) mechanism, a privacy-preserving mutual authentication mechanism. Utilizing Zero-Knowledge Proofs (ZKP) based on the quadratic residue technique, Z-PMA ensures secure and private mutual …

    regina Repository record

  12. Quantification of information flow in cyber physical systems

    Feng, LiMissouri University of Science and Technology2016

    <p>"In Cyber Physical Systems (CPSs), traditional security mechanisms such as cryptography and access control are not enough to ensure the security of the system since complex interactions between the cyber portion and physical portion happen frequently. In particular, the physical infrastructure …

    must-thes Repository record

  13. Location Privacy in VANETs: Improved Chaff-Based CMIX and Privacy-Preserving End-to-End Communication

    Al-Marshoud, Mishri SalehDe Montfort University2022

    … then compute an anonymous shared key based on zero-knowledge proof of knowledge (PoK). The efficiency comes from the fact that once the signatures are verified, the ephemeral values in the PoK are also used to compute a shared key through an authenticated Diffie-Hellman key exchange protocol. …

    de-montfort Repository record