CS 252r: Advanced Topics in Programming Languages

NOTE: Schedule is subject to change.

Lec. Date Topic Readings Notes
Science of CyberSecurity
1Tue 3-Sep Introduction Steve
2Thu 5-Sep Noninterference Steve
3Tue 10-Sep Limits of models Steve
4Thu 12-Sep Hyperproperties
  • Hyperproperties by Clarkson and Schneider, Journal of Computer Security, 18(6):1157-1210, 2010.
Steve
5Tue 17-Sep Models for Cryptographic Security Steve
Language-based Capabilities and Access Control
6Thu 19-Sep Protection Christos
7Tue 24-Sep Bell-LaPadula and PSOS Christos
8Thu 26-Sep KeyKOS Steve
9Tue 1-Oct Eros Jao-ke
Project proposals due.
10Thu 3-Oct Capsicum Dan B.
11Tue 8-Oct Object Capabilities Christos
12Thu 10-Oct Capability Safe Programming Languages Scott
13Tue 15-Oct Stack-Based Access Control Lucas
14Thu 17-Oct History and Role-Based Access Control Louis
15Tue 22-Oct Practical Extensible Access Control Frameworks Dan K.
slides
Quantitative Information-Flow and Anonymity
16Thu 24-Oct Quantitative Information Flow Aslan
17Tue 29-Oct Quantitative Information Flow Jao-ke
18Thu 31-Oct Quantitative Information Flow Scott
19Tue 5-Nov Side channels Lucas
20Thu 7-Nov Bitcoin Aslan
21Tue 12-Nov Privacy Dan K.
22Thu 14-Nov Anonymous communication Louis
23Tue 19-Nov Onion Routing Aslan
24Thu 21-Nov Anonymity Dan B.
25Tue 26-Nov Anonymity
Thanksgiving
26Tue 3-Dec Project presentations
Wed 11-Dec Projects due