<--- 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

-Invertible Cycles for Multivariate Quadratic (MQ) Public Key Cryptography Jintai Ding1, , Christopher Wolf2 , and Bo-Yin Yang3, 1  University of Cincinnati and Technische Universität Darmstadt

-Invertible Cycles for Multivariate Quadratic (MQ) Public Key Cryptography Jintai Ding1, , Christopher Wolf2 , and Bo-Yin Yang3, 1 University of Cincinnati and Technische Universität Darmstadt

DocID: 1xVV9 - View Document

Machine Learning @ Amazon Rajeev Rastogi Director, Machine Learning Key Takeaways •

Machine Learning @ Amazon Rajeev Rastogi Director, Machine Learning Key Takeaways •

DocID: 1xVRp - View Document

Public-Key Cryptography from New Multivariate Quadratic Assumptions Yun-Ju Huang1,3 , Feng-Hao Liu2 , and Bo-Yin Yang3 1  3

Public-Key Cryptography from New Multivariate Quadratic Assumptions Yun-Ju Huang1,3 , Feng-Hao Liu2 , and Bo-Yin Yang3 1 3

DocID: 1xVNp - View Document

ESS Token Utility and Functions There are a number of key functions that ESS will enable, with additional functionality added in as the Essentia project is developed further. This will occur on an incremental basis, with

ESS Token Utility and Functions There are a number of key functions that ESS will enable, with additional functionality added in as the Essentia project is developed further. This will occur on an incremental basis, with

DocID: 1xVIa - View Document