Fall 2001, CSE 597E: Lectures
The following is the summary of lectures given so far and
the plan for the future lectures
-
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]
-
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]
-
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]
-
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]
-
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]
-
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]
- Wed, Oct 17: No class
- Wed, Oct 24: No class
- Wed, Oct 31: No class
-
Wed, Nov 7: Student presentation.
Vivek Bhatnagar and Chaitanya Cheruvu: Random numbers and Pseudo-random generators.
[Slides]
-
Wed, Nov 14: Student presentation.
Amit Chetal and Monica Desai: The BAN Logic.
[Slides]
-
Fri, Nov 16, from 8 till 9am:
Student presentation.
Amit Choudhary: Encryption schemes (Part I) [Slides].
-
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].
- Wed, Nov 28: Student presentation.
Munaiza Matin: Signature schemes [Slides].
Ramesh Yechangunja: The spi-calculus [Slides].
Fri, Nov 30:
Project due
- Wed, Dec 5: Student presentation.
Brandin Claar: Quantum Cryptography [Slides].
Alok Amul Parikh: One-way functions [Slides].