SE547: Lecture 1 (Security Automata) [0/20]

Overview: Topics (tentative) [1/20]

Overview: Class Audience [2/20]

Overview: Class Style [3/20]

Overview: Background [4/20]

Overview: Topics of Interest: Foundations [5/20]

Overview: Topics of Interest: Language Mechanisms [6/20]

Overview: Topics of Interest: Logic and Security [7/20]

Overview: Topics of Interest: Cryptographic Protocols [8/20]

Overview: Topics of Interest: Current Techniques [9/20]

Overview: Course Project [10/20]

Overview: Course Project: Milestones [11/20]

Overview: Example Project: Cryptographic programming in Jif [12/20]

Overview: Other Project Topics [13/20]

Overview: Your Job [14/20]

Intro [15/20]

Security Automata: [16/20]

Security Automata: Polymer [17/20]

Security Automata: Disallow Println [18/20]

Security Automata: Limit Open Files [19/20]

Security Automata: [20/20]