Georgetown - PDFSEARCH.IO - Document Search Engine

Georgetown
Results: 5151

#	Item
1	COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size \|F\|O(S) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-11-02 08:56:25 Mathematics Probabilistically checkable proof IP Algebra Creativity
2	COSC 544 Probabilistic Proof SystemsIntroduction to MIPs Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-16 18:17:38 Cryptography Randomized algorithms Complexity classes Computational complexity theory Interactive proof system IP Probabilistically checkable proof Soundness NP Commitment scheme Proof of secure erasure Probabilistic Turing machine
3	COSC 544 Probabilistic Proof SystemsLinear PCPs and Succinct Arguments Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - 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
4	COSC 544 Probabilistic Proof SystemsA First Succinct Argument Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-15 19:55:30 Cryptography Complexity classes Computational complexity theory NP IP Commitment scheme Soundness P Certificate Cryptographic hash function Interactive proof system Non-interactive zero-knowledge proof
5	COSC 544 Probabilistic Proof SystemsThe Sum-Check Protocol Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 12:17:52 Mathematics Computational complexity theory Algebra IP Polynomials Interactive proof system NP Cryptography Splitting circle method
6	COSC 544 Probabilistic Proof SystemsAn Optimal Interactive Proof for Matrix Multiplication Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 12:17:46 Mathematics Algebra Exponentials Matrix theory IP Summation Exponentiation
7	COSC 544 Probabilistic Proof SystemsPCPs and Succinct Arguments Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-25 19:33:50 Cryptography Computational complexity theory Complexity classes Randomized algorithms Probabilistically checkable proof IP NP Zero-knowledge proof Soundness Interactive proof system Zero knowledge Commitment scheme
8	COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 2) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-06 17:06:30 Cryptography Computational complexity theory Complexity classes NP-complete problems NP IP Proof of secure erasure Certificate Circuit satisfiability problem Commitment scheme Witness Proof of knowledge
9	COSC 544 Probabilistic Proof SystemsIntroductory Lecture Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-14 15:31:41 Cryptography Complexity classes Computational complexity theory Mathematics Interactive proof system Zero-knowledge proof Probabilistically checkable proof IP Soundness NEXPTIME Mathematical proof Zero knowledge
10	COSC 544 Probabilistic Proof SystemsInteractive Proofs & Arguments, Low-Degree & Multilinear Extensions Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 21:24:56 Mathematics Computational complexity theory Algebra Polynomials Randomized algorithms Complexity classes IP Interactive proof system NP ArthurMerlin protocol SchwartzZippel lemma Soundness