![]() |
Call For Papers14th IEEE Computer Security Foundations WorkshopJune 11-13, 2001 Keltic Lodge, Cape Breton, Nova Scotia, Canada 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 Cape Breton, Nova Scotia, Canada.
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 privacy information flow |
authentication network security intrusion detection security models executable content |
data and system integrity distributed systems security security for mobile computing decidability issues 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.
To submit a paper, send to s.schneider@rhbnc.ac.uk 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 s.schneider@rhbnc.ac.uk.
Submission deadline: | February 1, 2001 |
Notification of acceptance: | March 16, 2001 |
Camera-ready papers: | April 5, 2001 |
The Keltic Lodge is 4 hours by car from Halifax International Airport along a magnificent drive. There are direct flights between Halifax and numerous European and American cities. Sydney Regional Airport is 1 1/2 hours by car from the Keltic Lodge and has flights every 2 hours to Halifax. People attending LICS 2001 in Boston may also consider the ferry between Portland, ME and Yarmouth, NS. More travel information can be found by following this link, this link and this link.
For further information contact:
General Chair | Program Chair | Publications Chair |
Iliano Cervesato ITT Industries, Inc. - AES Division 2560 Huntington Avenue Alexandria, VA 22303-1410 USA +1-202-404-4909 iliano@itd.nrl.navy.mil |
Steve Schneider Department of Computer Science Royal Holloway, University of London Egham, Surrey, TW20 0EX UK +44 1784 443431 s.schneider@rhbnc.ac.uk |
Jonathan Herzog The MITRE Corporation 202 Burlington Road Bedford, MA 01730-1420 USA +1-781-271-2907 jherzog@mitre.org |