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, May 2005

Presentations:

Andre Scedrov, U Penn: Welcome and Opening Remarks

Anupam Datta, Stanford: Compositional Reasoning in Security Analysis

Gergei Bana, U Penn: Computational Soundness of Formal Encryption

Honghui Lu, U Penn: Exchange Mechanisms and Cooperative Distributed System Design

Paul Syverson, NRL: High-Power Proxies for Enhancing RFID Privacy and Utility