Comp527: Course Syllabus

up to main page


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

Dan Wallach, CS Department, Rice University
Last modified: Wed 15-Oct-2003 10:45