Lecture slides


Course description
Lecture slides
Tools and reference



Topic Download
Jan 06 Introduction ppt, pdf
Jan 08 SSL/TLS Case Study ppt, pdf
Jan 13 Key Exchange Protocols ppt, pdf
Jan 15 Experiences in the Formal Analysis of the GDOI protocol (guest lecture by Catherine Meadows) ppt, pdf
Jan 20 Contract-Signing Protocols ppt, pdf
Jan 22 Protocols for Anonymity ppt, pdf
Jan 27 Probabilistic Model Checking ppt, pdf
Feb 03 Inductive Method ppt, pdf
Feb 05 Probabilistic Contract-Signing ppt, pdf
Feb 10 Protocol Logic (part 1) ppt, pdf
Feb 12 Protocol Logic (part 2) ppt, pdf
Feb 17 Symbolic Protocol Analysis ppt, pdf
Feb 19 Security in Process Calculi ppt, pdf
Feb 24 Game-Based Verification of Fair Exchange Protocols ppt ,pdf
Feb 26 Probabilistic Polynomial-Time Process Calculus ppt, pdf



Last updated: February 26, 2004.