15-793: Secure Computer Systems

15-793 is a graduate-level, introductory course in system security. Throughout this course, we will cover hardware, software, and cryptographic primitives for building various types of secure systems, both within the datacenter environment and in the decentralized setting. The course will first review fundamental security concepts (e.g., threat models, trusted computing base, basic cryptography), followed by deep dives into state-of-the-art attacks and defenses mechanisms. We will cover a wide range of exciting topics such as trusted execution environments, side-channel attacks and hardware attacks, software security, network security, blockchains, secure computation techniques and secure machine learning.

The course should be appropriate for advanced undergrads, masters, and graduate students from all areas of computer science.