Friday, November 11
George Mason University, Johnson Center
08:50am-9:00	Opening Remarks Ralf Küsters, John Mitchell
9:00am-10:00	Session 1: Invited Talk          (Chair: John Mitchell)
	On the Evolution of Adversary Models in Security Protocols - from the Beginning to Sensor Networks (Abstract) Virgil D. Gligor (University of Maryland, USA)
10:00am-10:30	Coffee Break
10:30am-12:30	Session 2 (Chair: Anupam Datta)
	A Rewriting-Based Inference System for the NRL Protocol Analyzer Santiago Escobar, Catherine Meadows, José Meseguer
	On Fairness in Simulatability-based Crytographic Systems Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
	Towards computationally sound symbolic analysis of key exchange protocols (extended abstract) Prateek Gupta, Vitaly Shmatikov
	Risk Assessment in distributed Authorization Peter Chapin, Christian Skalka, X. Sean Wang
12:30pm-2:00	Lunch
2:00pm-3:00	Session 3: Invited Talk          (Chair: Ralf Küsters)
	Synthesizing secure distributed systems from security specifications (Abstract) Andrew Myers (Cornell University, USA)
3:00pm-3:30	Coffee Break
3:30pm-5:30	Session 4 (Chair: Michael Backes)
	Formal Security Analysis of Basic Network-Attached Storage Avik Chaudhuri, Martin Abadí
	The Framework of Selective Interleaving Functions and the Modular Assemply Kit Heiko Mantel
	Provable Anonymity Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum
	Email Feedback: A Policy-based Approach to Overcoming False Positives Saket Kaushik, William Winsborough, Duminda Wijesekera, Paul Ammann
5:30pm-5:35	Closing Remarks Ralf Küsters, John Mitchell