FCS05 Schedule

LICS'05 Affiliated Workshop on

Foundations of Computer Security - FCS'05

Chicago, IL, June 30 - July 1, 2005

Schedule

Thursday, June 30

9:45	FCS Opening Andrei Sabelfeld, Chalmers
	Invited talk I
9:50	Language-based Intrusion Detection Jan Vitek, Purdue University
10:30	Coffee break
	Language-based Security
11:00	Dynamic Updating of Information-Flow Policies Michael Hicks, University of Maryland Stephen Tse, University of Pennsylvania Boniface Hicks, Pennsylvania State University Steve Zdancewic, University of Pennsylvania
11:30	Monitoring Information Flow Gurvan Le Guernic, Universite de Rennes 1 Thomas Jensen, CNRS
12:00	Optimized Enforcement of Security Policies Mahjoub Langar, Université Laval Mohamed Mejri, Université Laval
12:30	Lunch
	Information Flow
14:00	Unifying Confidentiality and Integrity in Downgrading Policies Peng Li, University of Pennsylvania Steve Zdancewic, University of Pennsylvania
14:30	Keeping Secrets in Incomplete Databases Joachim Biskup, University of Dortmund Torben Weibert, University of Dortmund
15:00	Non-Interference for a Typed Assembly Language Ricardo Medel, Stevens Institute of Technology Adriana Compagnoni, Stevens Institute of Technology Eduardo Bonelli, National University of La Plata
15:30	Coffee break
	Network Security and Denial-of-Service Attacks
16:00	Trusting the Network Tom Chothia, Ecole Polytechnique Dominic Duggan, Stevens Institute of Technology Ye Wu, Stevens Institute of Technology
16:30	Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories Gul Agha, University of Illinois at Urbana-Champaign Michael Greenwald, Lucent Bell Labs Carl Gunter, University of Illinois at Urbana-Champaign Sanjeev Khanna, University of Pennsylvania Jose Meseguer, University of Illinois at Urbana-Champaign Koushik Sen, University of Illinois at Urbana-Champaign Prasanna Thati, Carnegie-Mellon University
17:00	End

Friday, July 1

	Invited talk II
9:50	Constructive Authorization Logics Frank Pfenning, Carnegie Mellon University
10:30	Coffee break
	Security Protocols and Decidability Issues
11:00	A Constraint-Based Algorithm for Contract-Signing Protocols Detlef Kaehler, University of Kiel Ralf Kuesters, University of Kiel
11:30	Logical Omniscience in the Semantics of BAN Logic Mika Cohen, KTH Mads Dam, KTH
12:00	Partial model checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties Fabio Martinelli, IIT-CNR Ilaria Matteucci, IIT-CNR
12:30	End

Andrei Sabelfeld, Last modified: July 11, 2005