| |
15-503/15-859P Introduction to Theoretical
Cryptography
Spring 2006, MW 3:00-4:20, Wean 4623
|
Resources
Lecture Notes
(in PDF format)
- (Introduction to Zero-Knowledge), by Ryan
Optional reading: Proving a Theorem in Zero-Knowledge. Pages 1-7 are most relevant, but beware of typos.
- (Visual Cryptography), by Michelle
- (More on Zero-Knowledge: Subset Sum), by Yinmeng
- (Formal Definitions of IP and Zero-Knowledge), by Ryan
- (Vertex Cover; Definition of Bit Commitment), by Yinmeng
- (ZK: Graph Isomorphism and Non-Isomorphism), by George
- (Extended GCD; Continued Fractions) by Brandon
- (More on CF; Chinese Remainder Representation), by Don
- (More on CRR; Prime Number Theorem), by Ryan
- (Generating Random Factored Integers), by Ryan
- (Multiplication, Exponentiation, Fermat's Little Theorem, and the Beginnings of Primality Testing), by Yinmeng
- (Pseudo-primality tests, Randomized Primality Tests), by Ryan
- (Discrete Logarithm, Quad. Residues), by Ryan
- (Principal Square Roots and Coin Flipping Over the Telephone), by Ryan
- (More on Principal Square Roots, Coin Flipping Into a Well), by Yinmeng
- Midterm Review (no scribe notes)
- Midterm Exam
- (Back to ZK: Proving That You Know a Factorization), by Ryan and Yinmeng
- (Back to ZK: Proving That You Know a Factorization 2, in above pdf)
- (Back to ZK: Proving That You Know a Factorization 3, in above pdf)
- (Public Key Encryption with f(x)=x^2) by Yinmeng
- (Oblivious Transfer), by Ryan, (Alternate Version), by Yinmeng
- (All-or-Nothing Certified Mail), by Ryan
For more information on oblivious transfer, see Rafail Ostrovsky's lecture notes.
- (All-or-Nothing Certified Mail 2, see above pdf)
(The below are still in progress... note that the final will not depend on them.)
- (ZK Proof That g is a Generator), by Ryan
- (The Science of Modern Cryptography), by Ryan
- (Give Me a Bit and I Will Take a Mile), by Ryan
- (Final Lecture), by Ryan
| | |
|