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/

Philadelphia, October 2004

Presentations:

Andre Scedrov, U Penn: Welcome and Opening Remarks

Joan Feigenbaum, Yale: Incentive Compatibility inDiffuse Computing:Results and Future Directions

Cynthia Dwork, Microsoft Research: Towards Privacy in Public Databases

Vijay Ramachandran, Yale: Robustness of Class-Based Path-Vector Systems

Bjorn Knutsson, Upenn: Scaling and Anomalies in Massively Populated Persistent Worlds


Posters:

Kostas Anagnostakis, Upenn: Exchange-based Mechanisms and Cooperative Distributed System Design

Anupam Datta, Stanford: Isabelle Implementation of Protocol Composition Logic

Ante Derek, Stanford: Modular Analysis of the 802.11i Protocols