Comp527: Course Syllabus

up to main page


Date Topic Reading Assignment
Week 1 Mon, Aug 23 Introduction, basic concepts Anderson 1, Saltzer and Schroeder75
Wed, Aug 25 Ethics and responsibility Thompson84
Week 2 Mon, Aug 30 Voting system security (lecture slides) Kohno et al. '03, Sensus, Voting project out
Wed, Sep 1 Cryptography intro (lecture slides)

Anderson 5.1-5.6

Week 3 Mon, Sep 6 No class (Labor Day)
Wed, Sep 8 Cryptography intro + protocols (lecture slides) Anderson 2, 5.7
Week 4 Mon, Sep 13 Crypto protocols (lecture slides) HAC 12, Cryptyc Project, Abadi96, Burrows89 Sep 16: late add / free drop deadline
Wed, Sep 15 Crypto primitives (lecture slides) HAC 6-9,11 (browse)
Voting Phase 1 Due
Week 5 Mon, Sep 20 Formalizing cryptography (lecture slides)

Goldwasser & Bellare (ch. 5-6), see also Bellare '98

Wed, Sep 22 Formalizing cryptography (II) (lecture slides) Goldwasser & Bellare (ch. 8) Voting Phase 2 Due
Week 6 Mon, Sep 27 OS security basics Lampson71, ClarkWilson87, Anderson: read 3-4, skim 7,9
Wed, Sep 29 OS security architectures Plan 9
KeyKOS / KeySAFE
Week 7 Mon, Oct 4 Common OS vulnerabilities Provos 2002 (OpenSSH)
Wed, Oct 6 Engineering stronger systems Anderson 22, Page 1988, Boettger 2000 Voting Phase 3 Due (Fri, Oct 8)
Week 8 Mon, Oct 11 No class (Mid-term recess)
Wed, Oct 13 No class (Dan out of town)
Week 9 Mon, Oct 18 Networking: TCP/IP, DNS Anderson 18.1-3  
Wed, Oct 20 Viruses, spam, intrusion detection Anderson 18.4-5, Vixie's Spam Page, CAUCE, Paul Graham's Plan for Spam Final: Proposals due
Week 10 Mon, Oct 25 Distributed / peer-to-peer security (Byzantine failures)
Wed, Oct 27 Distributed / peer-to-peer security (Freeloading / incentives) Oct 28: final drop deadline
Week 11 Mon, Nov 1 Modern programming language basics Specifying and checking software workshop (many overview talks)
Wed, Nov 3 Agents & mobile code Final: status reports due
Week 12 Mon, Nov 8 Smart cards & tamper resistance Anderson 14, iButton security (read section 2), Bunnie's Xbox hacks
Wed, Nov 10 Tempest (+ Soft Tempest) Unofficial TEMPEST Page, Anderson 15
Week 13 Mon, Nov 15 Untrusted platforms CT99, ST98, Anderson 20
Wed, Nov 17 Wireless security
Week 14 Mon, Nov 22 In-class public policy discussion Anderson 21
Wed, Nov 24 Final project presentations, 25 minute conference format
Week 15 Mon, Nov 29
Wed, Dec 1 Final: writeups due Dec 3

Dan Wallach, CS Department, Rice University
Last modified: Wed 06-Oct-2004 16:27