|
Date |
Topic | Download |
| Jan 10 | Introduction | ppt |
| Jan 12 | SSL/TLS Case Study | ppt |
| Jan 13 | Section 1 | ppt |
| Jan 17 | Key Exchange Protocols | ppt |
| Jan 19 | Project ideas and 802.11i Wireless Networking | ppt |
| Jan 24, 26 | Contract-Signing Protocols | ppt |
| Jan 31 | Password Authentication and Key Exchange | ppt |
| Feb 2, 7 | Project presentation #1 | ppt |
| Feb 7, 9 | XOM architecture and security analysis | ppt |
| Feb 9 | Inductive Method | ppt |
| Feb 14 | Symbolic Protocol Analysis | ppt |
| Feb 16 | Temporal logic, MOCHA, Contract-Signing | ppt, ppt |
| Feb 21 | Protocol Logic (part 1) | ppt |
| Feb 23 | Protocol Logic (part 2) | ppt |
| Feb 28 | Security in Process Calculi | ppt |
| Mar 2 | Probabilistic Polynomial-Time Process Calculus | ppt |
| Mar 7-14 | Project Presentations (3 per class meeting) | |
| Mar 16 | Final presentaion, wrap-up |