Comp527: Course Syllabus

up to main page


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

Anderson 5.1-5.6

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

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

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

Dan Wallach, CS Department, Rice University
Last modified: Wed 12-Oct-2005 13:38