vRAM: Faster verifiable RAM with program-independent preprocessing

Y Zhang, D Genkin, J Katz… - … IEEE Symposium on …, 2018 - ieeexplore.ieee.org
We study the problem of verifiable computation (VC) for RAM programs, where a
computationally weak verifier outsources the execution of a program to a powerful (but …
被引用次数：82 相关文章

vRAM: Faster Verifiable RAM With Program-Independent Preprocessing

Y Zhang, D Genkin, J Katz… - 2018 IEEE …, 2018 - researchdiscovery.drexel.edu
vRAM: Faster Verifiable RAM With Program-Independent Preprocessing - Drexel University
Logo image Menu Outputs New search Researchers Research units Sign in Back vRAM …
[PDF] archive.org

[PDF][PDF] vRAM: Faster Verifiable RAM With Program-Independent Preprocessing

Y Zhang, D Genkin, J Katz, D Papadopoulos… - 2018 - scholar.archive.org
We study the problem of verifiable computation (VC) for RAM programs, where a
computationally weak verifier outsources the execution of a program to a powerful (but …
[PDF] gatech.edu

[PDF][PDF] vRAM: Faster Verifiable RAM With Program-Independent Preprocessing

Y Zhang, D Genkin, J Katz, D Papadopoulos… - faculty.cc.gatech.edu
We study the problem of verifiable computation (VC) for RAM programs, where a
computationally weak verifier outsources the execution of a program to a powerful (but …
[PDF] yale.edu

[PDF][PDF] vRAM: Faster Verifiable RAM With Program-Independent Preprocessing

Y Zhang, D Genkin, J Katz, D Papadopoulos… - cs.yale.edu
We study the problem of verifiable computation (VC) for RAM programs, where a
computationally weak verifier outsources the execution of a program to a powerful (but …

vRAM: Faster Verifiable RAM with Program-Independent Preprocessing

Y Zhang, D Genkin, J Katz, D Papadopoulos… - 2018 IEEE Symposium …, 2018 - computer.org
We study the problem of verifiable computation (VC) for RAM programs, where a
computationally weak verifier outsources the execution of a program to a powerful (but …

VRAM: Faster Verifiable RAM with Program-Independent Preprocessing

Y Zhang, D Genkin, J Katz… - … IEEE Symposium on …, 2018 - experts.illinois.edu
We study the problem of verifiable computation (VC) for RAM programs, where a
computationally weak verifier outsources the execution of a program to a powerful (but …

VRAM: Faster Verifiable RAM with Program-Independent Preprocessing

Y Zhang, D Genkin, J Katz… - … -IEEE Symposium on …, 2018 - repository.ust.hk
We study the problem of verifiable computation (VC) for RAM programs, where a
computationally weak verifier outsources the execution of a program to a powerful (but …
[PDF] ust.hk

[PDF][PDF] vRAM: Faster Verifiable RAM With Program-Independent Preprocessing

Y Zhang, D Genkin, J Katz, D Papadopoulos… - cse.ust.hk
We study the problem of verifiable computation (VC) for RAM programs, where a
computationally weak verifier outsources the execution of a program to a powerful (but …
[PDF] umd.edu

[PDF][PDF] vRAM: Faster Verifiable RAM With Program-Independent Preprocessing

Y Zhang, D Genkin, J Katz, D Papadopoulos… - user.eng.umd.edu
We study the problem of verifiable computation (VC) for RAM programs, where a
computationally weak verifier outsources the execution of a program to a powerful (but …