Lecture 13 Page 1 CS 236 Online Principles for Secure Software Following these doesn’t guarantee security But they touch on the most commonly seen security.
Announcement Project 2 Due Project 3 will be out this weekend.
Secure Certifying Compilation David Walker Cornell University What do you want to type check today?