Software Foundations of Security & Privacy

Course Overview

Security and privacy issues in computer systems continue to be a pervasive issue in technology and society. Understanding the security and privacy needs of software, and being able to rigorously demonstrate that those needs are met, is key to eliminating vulnerabilities that cause these issues. Students who take this course will learn the principles needed to make these assurances about software, and some of the key strategies used to make sure that they are correctly implemented in practice. Topics include:

Students will also gain experience applying many of these techniques to write code that is secure by construction. However, the goal of the course is to teach students the principles and algorithms behind good security and privacy solutions, so they they can adapt and extend them in the future. In order to achieve this level of understanding, the course will cover a number of key ideas from logic and languages when developing the security topics above. These include:

Instructor: Frank Pfenning

TAs: Myra Dotzel, Derek Duenas, Hemant Gouni, Runming Li, Ray Man, Jason Yao

Lectures: TuTh 2:00-3:20, Porter Hall 100

Office hours:

Grading