logistics
- Instructor: Adam Stubblefield (astubble@)
- Course time: ThF 4:10-5:20
- Course location: Wyman Conference Room
mailing list
Sign up for the mailing list.
probability review
For a gentle review of probability, here's an introduction. If you just need to be reminded of the formulas, the following pages on Mathworld should do the trick:syllabus
Week 1 (9/3): | Crash Course In Crypto
Adam |
Week 2 (9/10): | Reductionist Security I: HMAC
Malene, Chris, Jon, Hyrum |
Week 3 (9/17): | Reductionist Security II: Authenticated Encryption
Paul, Jeremy, Mike, Ken |
Week 4 (9/24): | Random Oracles I: OAEP
Toliy, Dmitry, Patrick |
Week 5 (10/1): | Random Oracles II: Uninstantiability
Christine, Sujata, Joann, Scott |
Week 6 (10/8): | Security Protocols
Adam
|
Week 7 (10/15): | No class
Adam |
Week 8 (10/22): | Belief Logics: BAN
Sam, Michael, Adam, Kathryn, Steve |
Week 9 (10/29): | Process Calculi: Spi
Ilya, Nishont, Matt, Ed |
Week 10 (11/5): | Model Checking/Theorem Proving
Steve, Josh, Jason, Mark |
Week 11 (11/12): | Computational Security for Protocols
Justin, Ryon, Bushra, Nydia |
Week 13 (11/19): | Implementation Issues
Jon, Kevin, Olga |
Week 12 (11/26): | No Class, Thanksgiving |
Week 13 (12/3): | Safes and combination locks
Adam |