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