CS 528/428: Language-Based Security

Spring 2020, Yale University

We will use the piazza forum for announcements and discussions.

Last modified: January 12, 2020. This page is still under major construction!


Course Information

Reading List

Schedule and Lecture Notes

Assignments and Projects

Resources


Online Resources (not quite up-to-date yet)


Copyright (c) 2009-2020, Zhong Shao, Dept. of Computer Science, Yale University