LICS'04 and ICALP'04 Affiliated Workshop on

Foundations of Computer Security - FCS'04

Turku, Finland, July 12-13, 2004

Extended submission deadline:
Abstracts due: April 7, 2004  Papers due: April 12, 2004

Computer security is an established field of Computer Science of both theoretical and practical significance. In recent years, there has been increasing interest in logic-based 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'04 and ICALP'04 communities, and to give LICS and ICALP 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
Formal specification
Foundations of verification
Information flow analysis
Language-based security
Logic-based design
Program transformation
Security models
Static analysis
Statistical methods
Trust management 		for authentication
availability and denial of service
covert channels
cryptographic protocols and applications
confidentiality
integrity and privacy
intrusion detection
malicious code
mobile code
mutual distrust
security policies

Submission Instructions

Authors are invited to submit an extended abstract explaining recent research results or work in progress. Papers shall not exceed 10 pages, inclusive of bibliography and appendices. They should be formatted for A4 or US letter paper with reasonable margins and fonts. The first page should include the title, the names and addresses of the authors, an abstract and a list of keywords. Click here to submit a paper. Accepted formats are limited to portable postscript and PDF. Please do not send files formatted for word processing packages (e.g., Microsoft Word or WordPerfect files). Simultaneous submissions to a journal or another conference are accepted.

The proceedings will be made available in electronic format and they will be distributed to all participants of the workshop. 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

Abstracts due: April 7, 2004
Papers due: April 12, 2004
Notification of acceptance: May 19, 2004
Final papers: June 7, 2004
Workshop: July 12-13, 2004

Invited Speaker

Martín Abadi, University of California at Santa Cruz, USA

FCS04 Schedule (with presentation slides)

FCS04 Proceedings (pdf)

Program Committee

A Sub-Workshop on Adaptive Security Infrastructure

This year FCS features a Sub-Workshop on Logical Foundations of an Adaptive Security Infrastructure, organized by Leo Marcus. Please follow the above link for further information.

Some FCS/LICS/ICALP Photos by Pierre-Yves Schobbens

Additional Information

Information about registration, travel, and venue can be found here. You may also want to consult the web page for the 2002 and 2003 editions of FCS.

For further information contact:

Program Chair
Andrei Sabelfeld
Department of Computer Science
Chalmers University of Technology and Gothenburg University
41296 Gothenburg
Sweden
Voice: +46 31 772 1000
Fax: +46 31 165655