Synopsis:

Channel security. Trojans and noninterference. Basic concepts of cryptology. Cryptographic primitives. Protocols for authentication and key establishment.

Schedule:

• Lectures: Peter-Michael Seidel
  • Time: Monday & Wednesday 12:00-1:45 PM
  • Place: POST 126
    
• Period: 8 January 2018 – 2 May 2018
• Office hours: Wednesday 11:00 – 12:00 or by appointment

Course materials:

Lecture slides (uploaded as we go)

• Lecture 1.    Introduction
• Lecture 2.   Resource Security
• Lecture 3a. Channel Security
• Lecture 3b. Foundations of Cryptology
• Lecture 4a. Authentication
• Lecture 4b. Challenge-Response and Matching Conversations
• Lecture 4c. Man-in-the-Middle and Impersonation
• Lecture 5.   Pervasive security and Multi-Channel Authentication
• Lecture 6.   Review

Reading materials

• Lecture Notes
• Colin Boyd and Anish Mathuria. Protocols for authentication and key establishment. (Springer Science & Business Media, 2003.)
• Harlie Kaufman, Radia Perlman and Mike Speciner, Network Security (Prentice Hall 2002, 2nd ed.)
• Douglas Stinson, Cryptography. Theory and Practice (Chapman and Hall 2005, 3rd ed.)