Back to Results
First PageMeta Content
IP / Proof of knowledge / NP / Function / Constraint programming / Mathematics / Applied mathematics


Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ New York University
Add to Reading List

Document Date: 2014-08-31 14:42:45

Open Document

File Size: 335,31 KB

Share Result on Facebook

Company

Pantry / /

/

Facility

Hybridizing Pantry / Pantry Step / TinyRAM As in Pantry / University of Texas / While Pantry / Under Pantry / New York University / /

IndustryTerm

permutation networks / prior systems / cryptographic and complexity-theoretic machinery / back-end proof protocol / machinery / built systems / zero-knowledge applications / probabilistic proof protocol / cloud applications / permutation network / Classical solutions / cloud computing / art systems / /

Organization

ASIC / New York University / University of Texas at Austin / /

Person

Buffet / Andrew J. Blumberg / Michael Walfish / Riad S. Wahby / /

Position

model / programmer / /

Product

PutBlock / GetBlock / TinyRAM / /

ProgrammingLanguage

C / /

ProvinceOrState

Texas / /

Technology

cryptography / RAM / ASIC / randomized algorithm / probabilistic proof protocol / t-1 / smart phones / back-end proof protocol / /

SocialTag