First Page | Document Content | |
---|---|---|
Date: 2017-11-11 14:59:54Cryptography Randomized algorithms Computational complexity theory Mathematics Probabilistically checkable proof Complexity classes Interactive proof system IP NP Soundness PCP theorem Commitment scheme | Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. WAdd to Reading ListSource URL: www.pepper-project.orgDownload Document from Source WebsiteFile Size: 434,93 KBShare Document on Facebook |
starting point TCP/IP State Transition Diagram (RFC793) CLOSEDDocID: 1xVUl - View Document | |
Detecting Intentional Packet Drops on the Internet via TCP/IP Side Channels: Extended Version arXiv:1312.5739v1 [cs.NI] 19 Dec 2013DocID: 1xVzb - View Document | |
NTT Global IP Network Configuration Tools Overview! Presented by: Shawn MorrisDocID: 1xVen - View Document | |
Choudhury et al. VOL. 10, NO. 10/OCTOBER 2018/J. OPT. COMMUN. NETW. 1 Two Use Cases of Machine Learning for SDN-Enabled IP/Optical Networks:DocID: 1xUSk - View Document | |
Schweizerischer Verband der Telekommunikation | Association Suisse des Télécommunications | Swiss Telecommunications Association Medienmitteilung Umstellung auf digitale IP-Telefonie – Neuer Leitfaden unterstützt ADocID: 1xTzw - View Document |