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

Charleston, SC, May 14th, 2004

8:45 Arrival

9:00 Andre Scedrov, U Penn: Welcome and Opening Remarks

9:15 John Mitchell, Stanford: Access Control

10:00 Vicky Weissman, Cornell: A Formal Foundation for XrML Licenses

10:45 Break

11:00 Paul Syverson, NRL: Synchronous Batching: From Cascades to Free Routes

11:45 Lunch Break and Poster Session

1:30 Andre Scedrov, U Penn: Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis

2:15 Vitaly Shmatikov, SRI: Unifying Equivalence-Based Definitions of Protocol Security

3:00 Andre Scedrov, U Penn: Concluding Remarks