First Page | Document Content | |
---|---|---|
Date: 2017-11-11 14:59:54Cryptography Distributed computing architecture Parallel computing MapReduce Certificate IP NP Commitment scheme PP Computational complexity theory | Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract WhenAdd to Reading ListSource URL: www.pepper-project.orgDownload Document from Source WebsiteFile Size: 533,75 KBShare Document on Facebook |
Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted PublishedDocID: 1xTZi - View Document | |
Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted PublishedDocID: 1xTH1 - View Document | |
PP_icon-1_Einladung_A4_L3.inddDocID: 1xTEi - View Document | |
ADVANCE INFORMATION 100 POEMS ARE NOT ENOUGHNon-Fiction > Poetry Walking BookFairs-PAN ǀ Rs 299 ǀ 104 ppDocID: 1xTyC - View Document | |
Logical Methods in Computer Science Vol. 4 (4:, pp. 1–21 www.lmcs-online.org Submitted PublishedDocID: 1xTht - View Document |