Fall 2001, CSE 597E: Lectures

The following is the summary of lectures given so far and the plan for the future lectures

  1. Tue, Sep 4: Overview of the Syllabus. Contents of the course. Introduction to the aims and issues of security protocols [Ryan_Schneider, 0.1-2. Lecture Notes 1]
  2. Wed, Sep 12: Introduction to the aims and issues of security protocols (cont'ed). A brief overview of cryptographic algorithms. Symmetric and asymmetric cryptography. Strategies of attacks to cryptographic protocols. [Ryan_Schneider, 0.3 and 0.7-8. Lecture Notes 2]
  3. Wed, Sep 19: The CSP approach to the specification and verification of security protocols. A brief overview of CSP. Syntax and informal meaning of the CSP constructs. Specification of Security protocols in CSP. Example: The Yahalom protocol. Specification of an attacker in CSP. Specification of the whole system of processes involved in the protocol. [Ryan_Schneider, 1-1.4 and Ch. 2 (excluding Section 2.2). Lecture Notes 3, ppt version, pdf version and html version]
  4. Wed, Sep 26: Expressing and verifying security proprties in CSP: Anonymity. Definition of the traces of a process. Anonymity as a property on traces. Modeling the visibility of actions wrt an observer. Example: The dining cryptographers. [Ryan_Schneider, 1.5 (for the notion of traces) and 3.5. Lecture Notes 4, ppt version, pdf version and html version]
  5. Wed, Oct 3: Expressing and verifying security proprties in CSP: Secrecy, Authentication and Non-repudiation. [Ryan_Schneider, 3.1-3.4. Lecture Notes 5, ppt version, pdf version and html version]
  6. Wed, Oct 10: CSP techniques for proving properties of security protocols [Ryan_Schneider, Ch 4, 5 and 7. Lecture Notes 6, ppt version, pdf version and html version]
  7. Wed, Oct 17: No class

  8. Wed, Oct 24: No class

  9. Wed, Oct 31: No class

  10. Wed, Nov 7: Student presentation. Vivek Bhatnagar and Chaitanya Cheruvu: Random numbers and Pseudo-random generators. [Slides]

  11. Wed, Nov 14: Student presentation. Amit Chetal and Monica Desai: The BAN Logic. [Slides]

  12. Fri, Nov 16, from 8 till 9am: Student presentation. Amit Choudhary: Encryption schemes (Part I) [Slides].

  13. Wed, Nov 21, from 8 till 10am: Student presentation. Chun Liu: Secure Multi Party Computation [Slides Note: only the first 33 slides will be presented and are relevant for the quiz]. Brice Toth: Encryption schemes (Part II) [Slides].

  14. Wed, Nov 28: Student presentation. Munaiza Matin: Signature schemes [Slides]. Ramesh Yechangunja: The spi-calculus [Slides].

    Fri, Nov 30: Project due

  15. Wed, Dec 5: Student presentation. Brandin Claar: Quantum Cryptography [Slides]. Alok Amul Parikh: One-way functions [Slides].