Call For Papers

13th IEEE Computer Security Foundations Workshop
July 3-5, 2000
Cambridge, England
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 will be in Cambridge, UK.

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
security protocols
information flow
network security
security models
executable content
data and system integrity
distributed systems security
security for mobile computing
formal methods for security

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. Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with a proceedings. Papers should be at most 20 pages excluding the bibliography and well-marked appendices (using 11-point font, single column format, and reasonable margins on 8.5"x11" paper), and at most 25 pages total. Committee members are not required to read the appendices, and so the paper should be intelligible without them. Proposals for panels should be no longer than five pages in length and should include possible panelists and an indication of which of those panelists have confirmed participation.

To submit a paper, send to a plain ASCII text email containing the title and abstract of your paper, the authors' names, email and postal addresses, phone and fax numbers, and identification of the contact author. To the same message, attach your submission (as a MIME attachment) in PDF or portable postscript format. Do not send files formatted for word processing packages (e.g., Microsoft Word or WordPerfect files).

Submissions received after the submission deadline or failing to conform to the guidelines above risk rejection without consideration of their merits. Where possible all further communications to authors will be via email. If for some reason you cannot conform to these submission guidelines, please contact the program chair at

Important Dates

Submission deadline: January 31, 2000
Notification of acceptance: March 13, 2000
Camera-ready papers: April 10, 2000

Program Committee

Workshop Location

The workshop will be held at the University of Cambridge, UK. Cambridge is a world-renowned collegiate university about 100 kilometres (60 miles) north of London. Both the city and the university are small by modern standards; about 130 000 people live in Cambridge and the university has about 9000 undergraduate and 6000 postgraduate students. Some name dropping: a remarkable number of eminent people have worked at Cambridge, including Isaac Newton, Charles Babbage, James Clerk Maxwell, Ernest Rutherford, J. J. Thompson, James Watson and Francis Crick, J. M. Keynes and Stephen Hawking. Sixty-four people working at Cambridge have won Nobel prizes.

The Cambridge colleges offer mediaeval architecture and a quiet, contemplative environment. Kings College is particularly notable. The accommodation and meals for the workshop will be in Pembroke College, founded in 1347. Accommodation will be in student rooms in a modern college block, just two years old. Meals will be in the Old Library, which was the College chapel before Christopher Wren designed the existing chapel, finished in 1665. The workshop meetings will be in the modern presentation room of Microsoft Research Limited, a five minute walk from the college.

The countryside north of Cambridge is mostly the fens (swamps that were drained about 1750). In the fens, cities and towns are invariably on the top of occasional small hills to keep the feet of their inhabitants dry. One city, called the Isle of Ely, includes the historic, enormous and elegant Ely Cathedral, started in 1108 on the remains of an earlier Christian shrine. Nearby is the town of Newmarket, the centre of the horseracing industry in the UK.

There is excellent train service to Cambridge from London's Kings Cross. The schedule is available on the web. Coaches operate frequently from London and from the airports.

For further information contact:
General ChairProgram ChairPublications Chair
Prof. E. Stewart Lee, Director
University of Cambridge
Centre for Communications Systems Research
10 Downing Street
Cambridge CB2 3DS
United Kingdom
+44 1223 740101
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