Presentations
 

• 07/08/01 - Project Overview - [ pdf ]


• 11/05/01 - Project Review Board
• Overview - Andre Scedrov [ pdf ]
• Network Architecture Research - Jonathan M. Smith [ pdf ]
• Approximation and Collusion in Multicast Cost Sharing - Joan Feigenbaum [ pdf ]
• Reliable MIX Cascade Networks via Reputation - Paul Syverson [ pdf ]


• 06/21/02 - Project Review Board
• Overview - Andre Scedrov [ pdf ]
• Market-Based Computation
•  Introduction - Joan Feigenbaum [ pdf ]
•  A BGP-based Mechanism for Lowest-Cost Routing - Rahul Sami [ pdf ]
•  Distributed Mechanism Design and Computer Security - Vanessa Teague [ pdf ]
• Security
• Introduction - Pat Lincoln [ pdf ]
• A Formal Analysis of Some Properties of Kerberos 5 Using MSR - Aaron Jaggard [ pdf ]
•  Secrecy in Multi-Agent Systems: A Knowledge-Based Approach - Kevin O'Neill [ pdf ]
• Networks
• Introduction - John Mitchell [ pdf ]
• On the Sensitivity of Network Simulation to Topology - Kostas G. Anagnostakis [ pdf ]
• Architecture and Pragmatics of Server-Directed Transcoding  - Björn Knutsson [ pdf ]


• September 2002 - Project Review Board
• Introduction and project overview - Andre Scedrov [ pdf ]
• Privacy and anonymity
• Introduction - Paul Syverson, NRL [ pdf]
• Fighting Spam May Be Easier Than You Think - Cynthia Dwork, Microsoft [ pdf]
• Information Hiding, Anonymity and Privacy: A Modular Approach - Vitaly Shmatikov, SRI International [ pdf]
• Paul Syverson, NRL [ pdf]
• Networking demo
• The transcoding proxy: a demonstration - Bjorn Knutsson, Penn [ pdf]
• Interdomain Routing
• Interdomain Routing: General Overview and SPYCE Activity - Joan Feigenbaum, Yale [ pdf]
• Design Principles of Policy Languages for Path Vector Protocols - Vijay Ramachandran, Yale [ pdf]
• Security
• Introduction: Reasoning about security and policies - Joe Halpern, Cornell [ pdf]
• A logic for reasoning about digital rights - Victoria Weissman, Cornell [ pdf]
• A formal analysis of some properties of Kerberos 5 using MSR - Aaron Jaggard, Penn [ pdf]


• March 2003 - Project Review Board
• Project overview - Andre Scedrov [ pdf]
• Market-based computation - Joan Feigenbaum [ pdf]
• Protocol logic and analyses - Joseph Halpern [ pdf]
• Trust management - John Mitchell [ pdf]
• Privacy and anonymity - Patrick Lincoln [ pdf]
• Networking - Jonathan Smith [ pdf]
• Concluding remarks - Andre Scedrov [ pdf]
• Poster session:
  • Design Principles of Policy Languages for Path Vector Protocols -- T. Griffin, A. Jaggard, V. Ramachandran [ pdf]
  • Digital U-STOR-IT -- S. Bose, A. Cooper, A. Huang, B. Palmer, I. Sastri, C. Tsay, N. Upshur, S. Yu, N. Li, S. Qiu, J. Mitchell [ pdf ]
  • Anonymity and Information Hiding in Multiagent Systems: A Knowledge-based Approach -- Joseph Halpern, K. O'Neill [ pdf ]
  • Contract Signing -- R. Chadha, J. Mitchell, A. Scedrov, V. Shmatikov [ pdf ]
  • Computation in a Distributed Information Market -- J. feigenbaum, L. Fortnow, D. Pennock, R. Sami [ pdf ]
  • Symbolic Protocol Analysis with Algebraic Theories -- V. Shmatikov, H. Comon-Lundh, J. Millen [ pdf]
  • Safe Execution of Untrusted Applications on Embedded Network Processors -- K. G. Anagnostakis [ pdf]
  • Distributed Mechanism Design and Computer Security -- J. Mitchell, V. Teague [ pdf]


• 10/27/03 - Project Review Board
Presentations and posters.
• 5/14/04 - Project Review Board
Presentations and posters.
• 8/17/04 - ONR Workshop, Annapolis, MD
  • Project Overview, Andre Scedrov, [ pdf ]
  • Design Principles of Policy Languages for Path-Vector Protocols, Timothy G. Griffin, Aaron D. Jaggard, Vijay Ramachandran, [ pdf ]
• 10/22/04 - Project Review Board
Presentations and posters.
• 05/23/05 - Project Review Board
Presentations and posters.
• 11/10/05 - Project Review Board
Presentations and posters.