December | ||||
Monday | Tuesday | Wednesday | Thursday | Friday |
02
10:30-11:50 Lecture
SAV 131 Authentication 1. Burrows, Abadi, and Needham, A Logic of Authentication Optional: Steiner et al., Kerberos: An Authentication Service for Open Network Systems |
03 | 04
10:30-11:50 Lecture
SAV 131 Security 1. Lampson, Practical Principles for Computer Security Optional: Lampson et al., Authentication in Distributed Systems: Theory and Practice |
05 | 06 |
09
Oral Final Exam (CSE 674)
|
10
12:00 Final project report
|
11
Final project presentation (CSE 678)
|
12 | 13 |