<--- Back to Details
First PageDocument Content
Randomized algorithms / Probabilistically checkable proof / Mathematics / IP / Cryptography / Creativity / NP / Soundness / Proof of secure erasure / Cryptographic protocol / Interactive proof system
Date: 2017-10-26 08:54:48
Randomized algorithms
Probabilistically checkable proof
Mathematics
IP
Cryptography
Creativity
NP
Soundness
Proof of secure erasure
Cryptographic protocol
Interactive proof system

COSC 544 Probabilistic Proof SystemsLinear PCPs and Succinct Arguments Lecturer: Justin Thaler

Add to Reading List

Source URL: people.cs.georgetown.edu

Download Document from Source Website

File Size: 103,34 KB

Share Document on Facebook

Similar Documents