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 anonymity security protocols information flow

authentication network security privacy 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

To submit a paper, send to syverson@itd.nrl.navy.mil 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 syverson@itd.nrl.navy.mil.

Important Dates

Program Committee

• Tuomas Aura, Helsinki University of Technology, Finland
• Drew Dean, Xerox PARC, USA
• Joan Feigenbaum, AT&T Labs--Research, USA
• Simon Foley, University College Cork, Ireland
• Matt Franklin, Xerox PARC, USA
• Dieter Gollmann, Microsoft Research, UK
• Roberto Gorrieri, University of Bologna, Italy
• Pat Lincoln, SRI International, USA
• Nancy Lynch, Massachusetts Institute of Technology, USA
• Cathy Meadows, Naval Research Laboratory, USA
• Sylvan Pinsky, National Security Agency, USA
• Mike Reiter, Bell Labs, USA
• Steve Schneider, Royal Holloway, University of London, UK
• Geoff Smith, Florida International University, USA
• Paul Syverson (chair), Naval Research Laboratory, USA

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.