Date | Topic | Reading | Assignment | |
Week 1 | Mon, Aug 26 | Introduction, basic concepts | Anderson 1, Saltzer and Schroeder75 | |
Wed, Aug 28 | Ethics and responsibility | Thompson84 | ||
Week 2 | Mon, Sep 2 | No class (Labor Day holiday) | ||
Wed, Sep 4 | Cryptography & secure protocols |
Anderson 2, HAC 12, lecture notes |
Soda project out | |
Week 3 | Mon, Sep 9 | Cryptyc Project, Abadi96, Burrows89, lecture notes | ||
Wed, Sep 11 | Cryptographic primitives | Anderson 5.1-5.6, HAC 6-9,11 (browse), lecture notes | ||
Week 4 | Mon, Sep 16 | lecture notes | ||
Wed, Sep 18 | Type and effect systems for secure protocols (guest lecturer: Eric Allen) | Cryptyc Project, lecture notes | Sep 20: late add / free drop deadline | |
Soda M1 Due | ||||
Week 5 | Mon, Sep 23 | Formalizing cryptography | Goldwasser & Bellare (ch. 5-6), see also Bellare '98; lecture notes | |
Wed, Sep 25 | No class? (Dan out of town) | Soda M2 Due | ||
Week 6 | Mon, Sep 30 | Formalizing cryptography (II) | Goldwasser & Bellare (ch. 8) | |
Wed, Oct 2 | OS security basics | Lampson71, ClarkWilson87, Anderson: read 3-4, skim 7,9 | ||
Week 7 | Mon, Oct 7 | OS security architectures | Plan 9 KeyKOS / KeySAFE |
|
Wed, Oct 9 | Common OS vulnerabilities | Provos 2002 (OpenSSH) | Soda M3 Due (Fri, Oct 11) | |
Week 8 | Mon, Oct 14 | No class (mid-term recess) | ||
Wed, Oct 16 | Engineering stronger systems | Anderson 22, Page 1988, Boettger 2000 | ||
Week 9 | Mon, Oct 21 | Modern programming language basics | Specifying and checking software workshop (many overview talks) | Final: Proposals due |
Wed, Oct 23 | Agents & mobile code | |||
Week 10 | Mon, Oct 28 | Untrusted platforms | CT99, ST98, Anderson 20 | |
Wed, Oct 30 | Networking: TCP/IP, DNS | Anderson 18.1-3 | Nov 1: final drop deadline | |
Week 11 | Mon, Nov 4 | Viruses, spam, intrusion detection | Anderson 18.4-5, SprocketLabs UCE Page, Vixie's Spam Page, CAUCE, Spam-L FAQ | |
Wed, Nov 6 | Guest lecture, TBA | Final: status reports due | ||
Week 12 | Mon, Nov 11 | Distributed / peer-to-peer security (guest lecturer: Peter Druschel) | ||
Wed, Nov 13 | Smart cards & tamper resistance | Anderson 14, iButton security (read section 2), Bunnie's Xbox hacks | ||
Week 13 | Mon, Nov 18 | Tempest (+ Soft Tempest) | Unofficial TEMPEST Page, Anderson 15 | |
Wed, Nov 20 | Wireless security | |||
Week 14 | Mon, Nov 25 | In-class public policy discussion | Anderson 21 | |
Wed, Nov 27 | Final project presentations, 25 minute conference format | |||
Week 15 | Mon, Dec 2 | |||
Wed, Dec 4 | Final: writeups due Dec 6 |