Spring 2012

The Paper Reading Seminar meets on each Monday from 2:00pm - 3:00pm in SEL 4224. Each week we select a paper which covers system issues, security issues or any other interesting topics from various conferences or journals. The people attend the seminar need to read the paper in advance. At the beginning of the seminar, a person gives a short summary of the paper first, then followed by the discussion including all attendees.

  1. Authorizing applications in Singularity (wobber07authorizingSingularity). Ted Wobber and Aydan Yumerefendi and Martin Abadi and Andrew Birrell and Daniel R. Simon Jan. 23, 2012 (Presented by Xu Zhang)
  2. SDSI – A Simple Distributed Security Infrastructure (rivest96sdsi). Ronald Rivest, Butler Lampson Jan. 30, 2012 (Presented by Wenyuan)
  3. A few billion lines of code later: using static analysis to find bugs in the real world (bessey10staticAnalysis). Bessey, Al and Block, Ken and Chelf, Ben and Chou, Andy and Fulton, Bryan and Hallem, Seth and Henri-Gros, Charles and Kamsky, Asya and McPeak, Scott and Engler, Dawson Feb. 6, 2012 (Presented by Mike)
  4. Joe-E: A Security-Oriented Subset of Java (mettler10joee). Adrian Mettler and David Wagner and Tyler Close. Feb. 13, 2012 (Presented by Yaohua)
  5. Security metrics for source code structures (chowdhury08securitymetrics). Chowdhury, Istehad and Chan, Brian and Zulkernine, Mohammad. Feb. 20, 2012 (Presented by Francesco)
  6. The Protection of Information in Computer Systems (saltzer75protection). J. H. Saltzer and M. D. Schroeder. Feb. 27, 2012 (Presented by Siming)
  7. Protection and the Control of Information Sharing in Multics (saltzer74multics). J. H. Saltzer. Mar. 5, 2012
  8. Design of the EROS Trusted Window System (shapiro04windowSystem). Jonathan S. Shapiro and John Vanderburgh and Eric Northup and David Chizmadia. Mar. 26, 2012