Call For Papers

12th IEEE Computer Security Foundations Workshop
June 28-30, 1999
Mordano, Italy
Sponsored by the Technical Committee on Security and Privacy
of the IEEE Computer Society

This workshop series brings together researchers in computer science to examine foundational issues in computer security. For background information about the workshop, see the CSFW home page. This year the workshop moves to continental Europe for the first time, near Bologna Italy. It is also timed to coordinate with FLoC (the Federated Logic Conference) taking place later the same week in relatively nearby Trento, and which includes a workshop on Formal Methods and Security Protocols.

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. Both papers and panel proposals are welcome.

Possible topics include, but are not limited to:

access control
database security
information flow
security protocols
network security
security models
data and system integrity
distributed systems security
formal methods for security

as well as foundational issues relating to other critical system properties and in emerging areas such as mobile computing and executable content.

The proceedings are published by the IEEE Computer Society and will be available at the workshop. Selected papers will be invited for submission to the Journal of Computer Security.

Instructions for Participants

Submission is open to anyone. Workshop attendance is limited to about 40 participants. Prospective participants should send an ELECTRONIC copy of a paper (limit 7500 words) or proposal for panel discussion to Paul Syverson at Please clearly identify the contact author and provide email addresses and telephone numbers (both voice and fax). (Paper submissions will be accepted if received by the deadline, but electronic submission of postscript is strongly encouraged.)

Important Dates

Submission deadline: February 1, 1999
Notification of acceptance: March 12, 1999
Camera-ready papers: April 9, 1999

Program Committee

Workshop Location

The workshop will be held at the Hotel Panazza, in Mordano, Italy. Mordano is a small town, very close to Imola, where each year the Formula One San Marino Grand Prix is held. Imola is about half an hour's drive from Bologna, a medieval city of half a million inhabitants, hosting the oldest university in Europe (founded in 1088). Other attractions in the area include Ravenna (capital of the western roman empire, with marvellous byzantine mosaics) and Ferrara (for some centuries an independent dukedom). Hotel Panazza is made up of seventeenth century buildings, newly restored (including air-conditioning). Facilities include a large park for relaxing walks, a romantic lake with swans and peacocks, a tennis court and two swimming pools for sport activites, a restaurant, and a conference hall in a former church. The hotel has forty-five rooms, each with private bathroom and telephone. Bologna is connected to many european cities by an international airport. Imola is about half an hour from Bologna by train or highway, and Mordano is about 5 minutes drive from the Imola exit of the highway. For those going on to FLoC, Trento is about 3 hours away by car and 4 hours by train.

For further information contact:
General ChairProgram ChairPublications Chair
Prof. Roberto Gorrieri
Dipartimento di Scienze
Via Mura Anteo Zamboni 7
I-40127 Bologna, Italy
+39 051-354509
Paul Syverson
Naval Research Laboratory
Code 5543
Washington, DC 20375
+1 202-404-7931
Joshua Guttman
The MITRE Corporation
202 Burlington Road
Bedford, MA 01730-1420
+1 781-271-2654