Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Daniel Genkin

SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Related publications

Compactly Representing Parallel Program Executions

2003English

Combining Hardware and Software Instrumentation to Classify Program Executions

2010English

Interactive Physical Zero-Knowledge Proof for Norinori

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Zero Knowledge and Soundness Are Symmetric

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Lattice-Based Zero-Knowledge Arguments for Integer Relations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Super-Perfect Zero-Knowledge Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2020English

Point Obfuscation and 3-Round Zero-Knowledge

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Zero-Knowledge Against Quantum Attacks

SIAM Journal on Computing
MathematicsComputer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy