15-503/15-859P Introduction to Theoretical Cryptography

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

© 2005-2006 Carnegie Mellon University, all rights reserved.