Foundations of Computer Security - FCS'05
		      (Affiliated with LICS'05)
		Chicago, IL, June 30 - July 1, 2005


			   Call for papers

Computer security is an established field of Computer Science of both
theoretical and practical significance. In recent years, there has
been increasing interest in foundations for various methods in
computer security, including the formal specification, analysis and
design of cryptographic protocols and their applications, the formal
definition of various aspects of security such as access control
mechanisms, mobile code security and denial-of-service attacks, trust
management, and the modeling of information flow and its application
to confidentiality policies, system composition, and covert channel

The aim of this workshop is to provide a forum for continued activity
in this area, to bring computer security researchers in contact with
the LICS'05 community, and to give LICS attendees an opportunity to
talk to experts in computer security.


We are interested both in new results in theories of computer security
and also in more exploratory presentations that examine open questions
and raise fundamental concerns about existing theories. Possible
topics include, but are not limited to:

Composition issues                  Authentication
Formal specification                Availability and denial of service
Foundations of verification         Covert channels
Information flow analysis           Cryptographic protocols
Language-based security             Confidentiality
Logic-based design          for     Integrity and privacy
Program transformation              Intrusion detection
Security models                     Malicious code
Static analysis                     Mobile code
Statistical methods                 Mutual distrust
Trust management                    Security policies



The proceedings will be distributed to all participants of the
workshop and will be made available in electronic format. The authors
of the best papers might be invited to submit an extended revision for
inclusion in a special issue of a journal.


Submission deadline:                March 18, 2005
Notification of acceptance:         May 6, 2005
Final papers:                       May 20, 2005
Workshop:                           June 30 - July 1, 2005


Michael Backes (IBM Zurich, Switzerland)
Gilles Barthe (INRIA, France)
Iliano Cervesato (Tulane University, USA)
Sabrina De Capitani di Vimercati (University of Milano, Italy)
Joshua Guttman (MITRE Corporation, USA)
Joe Halpern (Cornell University, USA)
Naoki Kobayashi (Tohoku University, Japan)
Ralf Kuesters (University of Kiel, Germany)
Cathy Meadows (NRL, USA)
John Mitchell (Stanford University, USA)
Frank Pfenning (Carnegie-Mellon University, USA)
Mark Ryan (University of Birmingham, UK)
Andrei Sabelfeld (Chalmers, Sweden - Chair)
Vitaly Shmatikov (University of Texas at Austin, USA)