CS223: Advanced Computer Security

Fall 2012

Instructor: Martin Abadi
Time: TTh 10:00-11:45 AM
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)


Martin Abadi