[Deadline extended: March 25, 2005; Invited speaker: Jan Vitek]


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

	      [http://www.cs.chalmers.se/~andrei/FCS05/]

			   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
analysis.

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 community, and to give LICS attendees an opportunity to
talk to experts in computer security.

TOPICS

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

SUBMISSION INSTRUCTIONS

See http://www.cs.chalmers.se/~andrei/FCS05/

As traditional for FCS, the workshop has no formal
proceedings. Nevertheless, informal 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.

IMPORTANT DATES

Submission deadline:                March 25, 2005
Notification of acceptance:         May 2, 2005
Final papers:                       May 13, 2005
Workshop:                           June 30 - July 1, 2005

PROGRAM COMMITTEE

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)

WORKSHOP WEB PAGE AND FURTHER INFORMATION

FCS05: http://www.cs.chalmers.se/~andrei/FCS05/

LICS05: http://homepages.inf.ed.ac.uk/als/lics/lics05/