Introduction

Essentials

Instructor: DanWallach, Department of Computer Science, Rice University

Coordinates: DH 1046, 2-3:20p, M/W/F (usually only M/W)

This class will focus on computer security in real systems. We will cover theory and practice for the design of secure systems (formal modelling, hardware and compiler-enforced safety, software engineering processes, tamper-resistant and tamper-reactive hardware, firewalls, cryptography, and more). We will also discuss how and why each of these techniques fail. (Continued on the Syllabus page.)

Recent course news & announcements will be posted here.

10/2: The FinalProject description has been posted, along with some project ideas (we still have a few new ones to add to this list, so check back).

9/6: See VotingProject. Phase One is officially out.

8/28: Please enroll online for the class.