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

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]

Next page