<--- Back to Details
First PageDocument Content
NEXPTIME / IP / NP / Soundness / KeY / Logic programming / Interactive proof system / Zero-knowledge proof / Theoretical computer science / Applied mathematics / Complexity classes
Date: 2013-07-24 10:11:20
NEXPTIME
IP
NP
Soundness
KeY
Logic programming
Interactive proof system
Zero-knowledge proof
Theoretical computer science
Applied mathematics
Complexity classes

Interactive proofs with competing teams of no-signaling provers

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Download Document from Source Website

File Size: 298,91 KB

Share Document on Facebook

Similar Documents

Computing / Network architecture / Data transmission / Transmission Control Protocol / Flow control / Network protocols / Acknowledgement / Internet protocol suite / SYN flood

starting point TCP/IP State Transition Diagram (RFC793) CLOSED

DocID: 1xVUl - View Document

Computer security software / Computer security / Cyberwarfare / Computing / Computer network security / Idle scan / Denial-of-service attacks / Transmission Control Protocol / Stateful firewall / Port scanner / Denial-of-service attack / Dynamic Host Configuration Protocol

Detecting Intentional Packet Drops on the Internet via TCP/IP Side Channels: Extended Version arXiv:1312.5739v1 [cs.NI] 19 Dec 2013

DocID: 1xVzb - View Document

Computing / Network architecture / Internet architecture / Internet / Nippon Telegraph and Telephone / Internet protocols / Internet Standards / Border Gateway Protocol / NTT Communications / Computer network / IP address / RSVP-TE

NTT Global IP Network Configuration Tools Overview! Presented by: Shawn Morris

DocID: 1xVen - View Document

Computing / Information and communications technology / Network architecture / Telecommunications engineering / Internet architecture / Fiber-optic communications / Network protocols / Reconfigurable optical add-drop multiplexer / Multiprotocol Label Switching / Optical networking / Automatically switched optical network / Software-defined networking

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 A

DocID: 1xTzw - View Document