CSE590SY: Systems Seminar, Winter 2006 Papers

Wednesdays at 1:30pm in EE1 042

 
 
01/11 Topic: Authentication                                        Presenting:   Eytan
Burrows, Abadi, Needham. A Logic of Authentication. SOSP, 1989.
 
01/18 Topic: Spyware                                                   Presenting:  Alex
Moshchuk, Bragin, Gribble, Levy. A Crawler-based Study of Spyware on the Web. NDSS'06.
 
01/25 Topic:  Trusted Computing                              Presenting:  Steve B.
Ross Anderson.  FAQ on Trusted Computing. 
 
02/01 Topic: Software Vulnerability Detection / Model Checking      Presenting: Marius
Chen, Dean, Wagner. Model Checking One Million Lines of C Code. NDSS, 2004.
 
02/08 Topic: Secure Network File Systems           Presenting: Mike
Mazieres et al. Separating key management from file system security. SOSP, 1999.
 
02/15 Topic:  RSA/RFID Security                               Presenting:  Harsha
Bono, Green, Stubblefield, Juels, Rubin, Szydlo. Security Analysis of a Cryptographically-Enabled RFID Device. USENIX 2005.
 
02/22 Topic: Distributed Security / Operating Systems Security      Presenting: Tanya
Rivest, Lampson. SDSI A Simple Distributed Security Infrastructure. MIT, 1996.
Ellison, Schneier. Ten Risks of PKI: What You're not Being Told about Public Key Infrastructure. Computer Security Journal, 2000.
 
03/01 Topic: Usability                                    Presenting: Colin
Whitten, Tygar. Why Johnny Can't Encrypt. USENIX, 1999.
 
03/08 Topic: Electronic Voting                    Presenting: Scott
Kohno, Stubblefield, Wallach, Rubin. Analysis of an Electronic Voting System. IEEE Symposium on Security and Privacy, 2004.