Project Review
SPYCE
Software Quality and Infrastructure Protection for Diffuse Computing


Andre Scedrov, PI (Penn)
ONR CIP/SW URI FY '01
http://www.cis.upenn.edu/spyce/

Wyndham City Center Hotel
Washington, DC, October 27, 2003

City Centre Ballroom 1

Agenda


7:45 - 8:30 Breakfast

8:30 - 8:40 Sylvan Pinsky, NSA: Welcoming Remarks and Introductions

8:40 - 9:00 Ralph Wachter, ONR: Overview of the BAA

9:00 - 9:45 Andre Scedrov, Penn: Overview of the Spyce Project

9:45 - 9:50 Q&A

9:50 - 10:10 Joan Feigenbaum, Yale: Incentives, Privacy, and Anonymity

10:10 - 10:15 Q&A

10:15 - 10:35 Joseph Halpern, Cornell: Protocol Design and Analysis

10:35 - 10:40 Q&A

10:40 - 10:55 Break

10:55 - 11:15 Jonathan Smith, Penn: Networking

11:15 - 11:20 Q&A

11:20 - 11:40 John Mitchell, Stanford: Trust Management

11:40 - 11:45 Q&A

11:45 - 12:00 Andre Scedrov, Penn: Concluding Presentation

12:00 - 12:05 Sylvan Pinsky, NSA: Closing Remarks

12:05 - 1:30 Working Lunch

1:30 - 4:30 Closed Session of Review Panel

============================================================

Posters:



F. Butler, I. Cervesato, A. D. Jaggard, A. Scedrov: Analysis of Kerberos 5 Using MultiSet Rewriting
A. Datta, A. Derek, J. Mitchell, D. Pavlovic: A Derivation System for Security Protocols and Its Logical Formalization
J. Halpern, K. O'Neill: Anonymity in Multiagent Systems: A Knowledge-based Approach
K. Anagnostakis, M. B. Greenwald, R. Ryger: Network Measurement Research in SPYCE
R. Pucella, A. Gordon: Security Abstractions for Web Services
J. Halpern, V. Weissman: A Formal Foundation for XrML
T. G. Griffin, A. D. Jaggard, V. Ramachandran: Design Principles of Policy Languages for Path-Vector Protocols
R. Chadha, J. Mitchell, A. Scedrov, V. Shmatikov: Contract Signing, Optimism and Advantage
S. Jarecki, P. Lincoln, V. Shmatikov: Privacy-Preserving Transaction Escrow