Instructor: Martin Abadi
Time: TTh
Location: Earth & Marine Sciences B214
Introduction (September 27)
Basics (September 27)
Policies, mechanisms, and assurance (October 2)
Access control (October 2, 4, and 9)
Mandatory access control and information flow control (October 9 and 11) (and an answer for Exercise 3 of Homework 3, on HiStar)
Guest lecture by Frank McSherry (Microsoft): Privacy preserving data analysis (October 16)
Guest lecture by Ankur Taly (Google): Sandboxing untrusted JavaScript (October 18)
Security in programming languages (October 23)
Low-level software security (October 25 and 30)
Cryptography (October 30 and November 1 and 8)
Guest lecture by Omer Reingold (Microsoft): The many entropies of one-way functions (November 6)
On the Internet, nobody knows you are
a dog Twenty years later
(November 8 and 13)
Security
protocols (November 15 and 20)
Guest lecture by
Ulfar Erlingsson (Google): Cloud computing and computer security (November 27;
slides will not be distributed)
Assurance and formal models (in particular for security protocols) (November 29)
Project presentations (December 4 and 6)