Programming Languages

Catalog description

This course explores advanced concepts of programming languages and how the concepts are applied to language-based security. The course first covers programming language theory, including program semantics, Induction, lambda calculus. Then, the course covers language-based techniques, such as type system and program verification, that can provably rule out incorrect/insecure programs. Finally, the course engages the students with hands-on projects to apply the techniques to solve security problems, such as analyzing information flow leakage in programs and automatic code rewriting to avoid side channel attacks. Upon completion of the course, students will demonstrate understanding of advanced programming language concepts and be ready to apply them for specific applications.