The following books and articles constitute a list of references for the material thaught in the course. The books are put in reserve at the math library; the articles are either available on the web or will be distributed in class. This list will get updated during the course.

Books:

• [Ryan_Schneider01] Peter Ryan and Steve Schneider. Modelling and analysis of Security Protocols. Addison Wesley, 2001. Also available on Amazon.

• Oded Goldreich Modern Cryptography, Probabilistic Proofs and Pseudorandomness. Springer-Verlag, Algorithms and Combinatorics, Vol 17, 1998.

Articles and other reference material:

• [Goldreich] Oded Goldreich. The foundations of Cryptography.