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.

Lectures