Formal Methods for Cryptographic Protocols
August – November 2017

---

Administrative Details

---

• Evaluation
  • Assignments 45%, take-home exams 30%, programaming assignments 25%
  • Copying is fatal
  • Instructors: S P Suresh, Vaishnavi Sundararajan
• References
• Submit all assignments on Moodle only. Further instructions will be given as part of the assignments.

---

Assignments

• Assignment 1. Due October 8, 2017 at 11pm

---

Lectures

• Lecture 1. August 16, 2017
• Lecture 2. August 21, 2017
• Lecture 3. August 28, 2017
• Lecture 4. August 30, 2017
• Lecture 5. September 4, 2017
• Lecture 6. September 6, 2017
• Lecture 7. September 11, 2017
• Lecture 8. September 13, 2017
• Lecture 9. September 18, 2017

---