Skip to main content




This course explores methods for using programming languages and language semantics to enforce security. We will cover the techniques (e.g., security type systems, runtime monitoring and Hoare logic) as well as their applications to enforcing security (e.g., informationflow security, program verification, machine-code verification, hardware security, quantitative security measures, differential privacy). We will read papers for each topic in this course.

Instructor: Danfeng Zhang

Placeholder for schedule