|
Date |
Topic |
Reading |
Notes |
|
Tue
Aug 30 |
Course
Overview [PPT][PDF] |
All
times below are PDT |
|
|
|
|
PROTOCOLS |
|
|
Thu
Sep1 |
Murphi (gcc 4.2.x) [Murphi3.1_gcc4.2.zip] Murphi (gcc
4.3.x) [Murphi3.1_gcc4.3.zip] |
||
|
Tue
Sep 6 |
Model
checking authenticated key exchange: SSL/TLS Case Study [PPT] [PDF] |
HW
1 handed out [PDF] Model Files [18739Fall2011hw1.zip] |
|
|
Thu
Sep 8 |
|
||
|
Tue
Sep 13 (*) Lujo Bauer |
Passwords
I [PDF] |
|
|
|
Thu
Sep 15 (*) Jeremiah
Blocki |
Passwords
II |
|
|
|
Tue
Sep 20 |
HW
1 due today 12:01 AM |
||
|
Thu
Sep 22 |
|
||
|
Tue
Sep 27 |
Project
Proposals |
|
Project
proposals due |
|
Thu Sep
29 |
Introduction
to Logic [PDF] |
|
HW 2
handed out [PDF] |
|
Tue
Oct 4 |
Protocol
Logics: Protocol Composition Logic (PCL) I |
BAN slides
(Harper) [PDF]
|
|
|
Thu
Oct 6 |
|
|
|
|
Tue
Oct 11 |
|
||
|
Thu
Oct 13 |
Introduction
to Computational Cryptography (contd) |
HW 2
due today before class |
|
|
|
|
PRIVACY |
|
|
Tue
Oct 18 (*) Divya Sharma |
Database
Privacy: k-anonymity and de-anonymization attacks |
HW
3/Mid Sem handed out [PDF] |
|
|
Thu
Oct 20 (*) |
Cryptographic
Soundness [PDF] |
|
|
|
Tue
Oct 25 |
|
HW
3/Mid Sem due before class |
|
|
Thu
Oct 27 (*) Arvind Narayanan (Stanford) |
Privacy
& Online Advertising |
||
|
Tue
Nov 1 |
Specifying
Privacy Policies: [PPT]
[PDF] Contextual
Integrity & Logics of Privacy [PPT]
[PDF] Case
study: HIPAA Privacy Rule |
|
|
|
Thu
Nov 3 (*) Limin Jia |
Privacy
Policy Enforcement through Audit Case
study: HIPAA Privacy Rule [PDF] |
|
|
|
Tue
Nov 8 |
|
HW 4
handed out [PDF] |
|
|
Thu
Nov 10 (*) Michael
Tschantz |
Purpose
Restrictions in Privacy Policies: Semantics and Audit |
·
On the Semantics
of Purpose Requirements in Privacy Policies [PDF]
|
|
|
Tue
Nov 15 |
Database
Privacy: Differential Privacy |
|
|
|
Thu
Nov 17 (*) Aleksandra
Korolova (Stanford) |
Privacy
in Social Networks |
HW 4
due today before class |
|
|
Tue
Nov 22 (*) Jing
Wang (Booz Allen)
|
Health
Information Privacy and Security: An Industry Perspective |
·
TBD |
|
|
Thu
Nov 24 |
No
class—university holiday |
|
|
|
Tue
Nov 29 (*) Ashwin Machanavajjhala (Yahoo! Research) |
No
Free Lunch in Data Privacy |
|
|
|
Thu
Dec 1 |
Advanced
Topics and Current Research |
|
|
|
Tue
Dec 6 (Students) |
Project
presentations |
|
Project
models/code & report due today 12:01 AM HW
5/End Sem handed out on Dec 5 (due Tue Dec 8) [PDF] |
|
Thu
Dec 8 (Students) |
Project
presentations/Wrap up |
|
HW
5/End Sem due today |
|
|
|
|
|