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