Program Analysis for Security

Catalog description

The course will introduce students to concepts and constructs found in classical programming languages and their application in security. Topics include type systems, higher-order functions, and polymorphism, syntax and semantics, parsing, interpretation and advanced programming language theory of program analysis in security such as information flow control and taint analysis.